úÎ!ñ#=      !"#$%&'()*+,-./0123456789:;<Safe-HSXB mmorph)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 embed g (embed f t) = embed (\m -> embed g (f m)) tmmorphEmbed a newly created  layer within an existing layer is analogous to (>)mmorph+A functor in the category of monads, using  as the analog of ?: 0hoist (f . g) = hoist f . hoist g hoist id = idmmorphLift a monad morphism from m to n$ into a monad morphism from (t m) to (t n)The first argument to T must be a monad morphism, even though the type system does not enforce thismmorphA function that  generalizes the @ base monad to be any monad.mmorph Squash two  layers into a single layer is analogous to Ammorph Compose two  layer-building functions() is analogous to (B) mmorphEquivalent to () with the arguments flipped( ) is analogous to (C) mmorph An infix operator equivalent to ( ) is analogous to (>) mmorphEquivalent to ( ) with the arguments flipped( ) is analogous to (D)   2 2 2 2Safe =>?@AHXqÙ$mmorph"Composition of monad transformers.'mmorph#Transform the computation inside a $.$%&'$%&'$9 %9 E      !"#$%&'())*+,-./0123456789:;<=>?@ABCABDABEAFGABHAIJAIKABLM#mmorph-1.1.3-LJarTNKeNdi1JS9YhNALTdControl.Monad.MorphControl.Monad.Trans.Composetransformers-0.5.5.0Control.Monad.Trans.Classlift MonadTransMMonadembedMFunctorhoist generalizesquash>|><|<=<||>=$fMFunctorTYPELift$fMFunctorTYPEBackwards$fMFunctorTYPEProduct$fMFunctorTYPECompose$fMFunctorTYPEWriterT$fMFunctorTYPEWriterT0$fMFunctorTYPEStateT$fMFunctorTYPEStateT0$fMFunctorTYPERWST$fMFunctorTYPERWST0$fMFunctorTYPEReaderT$fMFunctorTYPEMaybeT$fMFunctorTYPEListT$fMFunctorTYPEIdentityT$fMFunctorTYPEExceptT$fMFunctorTYPEErrorT$fMMonadWriterT$fMMonadWriterT0$fMMonadReaderT$fMMonadMaybeT $fMMonadListT$fMMonadIdentityT$fMMonadExceptT$fMMonadErrorTComposeT getComposeT mapComposeT$fMonadWriterwComposeT$fMonadStatesComposeT$fMonadReaderrComposeT$fMonadRWSrwsComposeT$fMonadErroreComposeT$fMonadContComposeT$fTraversableComposeT$fFoldableComposeT$fMonadIOComposeT$fMonadPlusComposeT$fMonadFailComposeT$fMonadComposeT$fAlternativeComposeT$fApplicativeComposeT$fFunctorComposeT$fMFunctorTYPEComposeT$fMonadTransComposeT $fEqComposeT $fOrdComposeT$fReadComposeT$fShowComposeTbaseGHC.Basereturn=<<fmapData.Functor.IdentityIdentityjoin Control.Monad>=><=<>>=