Control.Monad.Ideal
Ideal Monads
class
MonadIdeal
m
type
Ideal
ideal
destroyIdeal
Mutual recursion for (co)ideal (co)monad (co)products
data
Mutual
p m n a
Ideal Monad Coproduct
type
m
:+
n