Safe Haskell | Safe-Inferred |
---|
Documentation
class MonadTrans t => C t whereSource
Provide the methods that make a transformed monad a monad.
Build a regular monad for generic monad transformer and monad.
The Const
type allows us to force the kind (m :: * -> *)
without using ExplicitKindSignatures.