MHask-0.1.0.0: The category of monads
MHask.Indexed.Pointed
class IxFunctor t => IxPointed t whereSource
Methods
ireturn :: (Monad m, Monad (t i i m)) => m ~> t i i mSource