class (forall m. Monad m => Monad (t m)) => MonadTrans t where More...
class (forall m. Monad m => Monad (t m)) => MonadTrans t where