Control.Monad.Morph

Functors over Monads

class MFunctor t

generalize

Monads over Monads

class MMonad t

class MonadTrans t

squash

(>|>)

(<|<)

(=<|)

(|>=)

Tutorial

Generalizing base monads

Monad morphisms

Mixing diverse transformers

Embedding transformers