| definition: |
class MonadTrans t where lift :: Monad m => m a -> t m a |
| methods: |
["lift :: Prelude.Monad b => b c -> (a b) c"] |
| name: |
MonadTrans |