Matryoshka.Coalgebra

type GCoalgebra :: (Type -> Type) -> (Type -> Type) -> Type -> Typetype GCoalgebra n f a = a -> f (n a)

type GCoalgebraM :: (Type -> Type) -> (Type -> Type) -> (Type -> Type) -> Type -> Typetype GCoalgebraM n m f a = a -> m (f (n a))

type Coalgebra :: (Type -> Type) -> Type -> Typetype Coalgebra f a = a -> f a

type CoalgebraM :: (Type -> Type) -> (Type -> Type) -> Type -> Typetype CoalgebraM m f a = a -> m (f a)

type ElgotCoalgebra :: (Type -> Type) -> (Type -> Type) -> Type -> Typetype ElgotCoalgebra e f a = a -> e (f a)