pure -package

pure :: Applicative f => a -> f a
base Control.Applicative
Pure :: a -> Lift f a
transformers Control.Applicative.Lift