Control.Monad.Morph
class MFunctor t
generalize
class MMonad t
class MonadTrans t
squash
(>|>)
(<|<)
(=<|)
(|>=)