Module

Matryoshka.Coalgebra

#GCoalgebra 

type GCoalgebra n f a = a -> f (n a)

#GCoalgebraM 

type GCoalgebraM n m f a = a -> m (f (n a))

#Coalgebra 

type Coalgebra f a = a -> f a

#CoalgebraM 

type CoalgebraM m f a = a -> m (f a)

#ElgotCoalgebra 

type ElgotCoalgebra e f a = a -> e (f a)

Modules