Control.Monad.Morph

class MFunctor t

class MMonad t