úÎ6Ç;      !"#$%&'()*+,-./0123456789:Safe+DOT )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)) tEmbed a newly created  layer within an existing layer is analogous to (<)+A functor in the category of monads, using  as the analog of =: 0hoist (f . g) = hoist f . hoist g hoist id = idLift a monad morphism from m to n$ into a monad morphism from (t m) to (t n)A function that  generalizes the > base monad to be any monad. 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 (A)  An infix operator equivalent to ( ) is analogous to (<) Equivalent to ( ) with the arguments flipped( ) is analogous to (B)"  !"#     !"#2 2 2 2Safe9:;<=D$"Composition of monad transformers.'#Transform the computation inside a $.$%&'()*+,-./0123456$%&'$%&'$%&'()*+,-./0123456$9 %9 C      !"#$%&'())*+,-./0123456789:;<=>?@A?@B?@C?DE?@F?GH?GI?@JK#mmorph-1.0.7-FbGnFHH7d1vCh575a11nfsControl.Monad.MorphControl.Monad.Trans.Composetransformers-0.5.2.0Control.Monad.Trans.Classlift MonadTransMMonadembedMFunctorhoist generalizesquash>|><|<=<||>=$fMMonadWriterT$fMMonadWriterT0$fMMonadReaderT$fMMonadMaybeT $fMMonadListT$fMMonadIdentityT$fMMonadExceptT$fMMonadErrorT$fMFunctorTYPELift$fMFunctorTYPEBackwards$fMFunctorTYPEProduct$fMFunctorTYPECompose$fMFunctorTYPEWriterT$fMFunctorTYPEWriterT0$fMFunctorTYPEStateT$fMFunctorTYPEStateT0$fMFunctorTYPERWST$fMFunctorTYPERWST0$fMFunctorTYPEReaderT$fMFunctorTYPEMaybeT$fMFunctorTYPEListT$fMFunctorTYPEIdentityT$fMFunctorTYPEExceptT$fMFunctorTYPEErrorTComposeT getComposeT mapComposeT$fMonadWriterwComposeT$fMonadStatesComposeT$fMonadReaderrComposeT$fMonadRWSrwsComposeT$fMonadErroreComposeT$fMonadContComposeT$fTraversableComposeT$fFoldableComposeT$fMonadIOComposeT$fMonadPlusComposeT$fMonadComposeT$fAlternativeComposeT$fApplicativeComposeT$fFunctorComposeT$fMonadTransComposeT $fEqComposeT $fOrdComposeT$fReadComposeT$fShowComposeTbaseGHC.Basereturn=<<fmapData.Functor.IdentityIdentityjoin Control.Monad>=><=<>>=