class MonadEffect :: (Type -> Type) -> Constraint
class (Monad m) <= MonadEffect m where
MonadEffect class captures those monads which support native effects.
Instances are provided for
Effect itself, and the standard monad
liftEffect can be used in any appropriate monad transformer stack to lift an
action of type
Effect a into the monad.