Control.Comonad.Coideal
Coideal Comonads
class
ComonadCoideal
w
type
Coideal
coideal
buildCoideal
Mutual recursion for (co)ideal (co)monad (co)products
data
Mutual
p m n a
Coideal Comonad Product
type
m
:*
n