pure +transformers

Pure :: a -> Lift f a
transformers Control.Applicative.Lift