Control.Comonad.Coideal

Coideal Comonads

type Coideal

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

data Mutual p m n a

Coideal Comonad Product

type m :* n