Iaia

Algebra : (Type -> Type) -> Type -> Type

Coalgebra : (Type -> Type) -> Type -> Type

GAlgebra : (Type -> Type) -> (Type -> Type) -> Type -> Type

GCoalgebra : (Type -> Type) -> (Type -> Type) -> Type -> Type