Control.Monad.Compose

Monadic composition.

Based on an operator found in Composing Monads by Jones and Duponcheel (1993).

Should be moved to a separate package `control-monad-compose`.

Documentation

mjoin :: (Monad m, Monad n, Functor m, Traversable n) => m (n (m (n a))) -> m (n a)

mbind :: (Monad m, Monad n, Functor m, Traversable n) => (a -> m (n b)) -> m (n a) -> m (n b)