1 2 3 4 5 6 7
module MonadTrans where class MonadTrans t where -- | Lift a computation from -- the argument monad to -- the constructed monad. lift :: (Monad m) => m a -> t m a