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.

forall a . Lift (m a) (a -> v) |