Safe Haskell | Trustworthy |
---|
Lifting primitive Monad types to effectful computations. We only allow a single Lifted Monad because Monads aren't commutative (e.g. Maybe (IO a) is functionally distinct from IO (Maybe a)).
Documentation
Lift a Monad m to an effect.