úÎh¦    Safe-Inferred )A monad in the category of monads, using  from  as the  analog of   and  as the analog of ( ):  embed lift = id   embed f (lift m) = f m  5 embed g (embed f t) = embed (\m -> embed g (f m)) t Embed a newly created  layer within an existing layer  is analogous to ( ) +A functor in the category of monads, using  as the analog of  : # hoist (f . g) = hoist f . hoist g   hoist id = id Lift a monad morphism from m to n into a monad morphism from  (t m) to (t n)  Squash two  layers into a single layer  is analogous to   Compose two  layer-building functions () is analogous to () Equivalent to () with the arguments flipped () is analogous to ()  An infix operator equivalent to  ( ) is analogous to ( ) Equivalent to ( ) with the arguments flipped ( ) is analogous to ()   !     !"      !"#$%&'() mmorph-1.0.0Control.Monad.Morphtransformers-0.3.0.0Control.Monad.Trans.Classlift MonadTransMMonadembedMFunctorhoistsquash>|><|<=<||>=baseGHC.Basereturn Control.Monad=<<fmapjoin>=><=<>>=$fMMonadWriterT$fMMonadWriterT0$fMMonadReaderT$fMMonadMaybeT$fMMonadIdentityT$fMMonadErrorT$fMFunctorWriterT$fMFunctorWriterT0$fMFunctorStateT$fMFunctorStateT0$fMFunctorRWST$fMFunctorRWST0$fMFunctorReaderT$fMFunctorMaybeT$fMFunctorIdentityT$fMFunctorErrorT