Control.Functor.Algebra
type Dialgebra f g a
type GDialgebra f g w m a
type Bialgebra f g a
type GBialgebra f g w m a
type Algebra f a
type GAlgebra f w a
type Coalgebra f a
type GCoalgebra f m a
type Trialgebra f g h a