Control.Monad.Ideal

Ideal Monads

class MonadIdeal m
type Ideal

Mutual recursion for (co)ideal (co)monad (co)products

data Mutual p m n a

Ideal Monad Coproduct

type m :+ n