Data.Category.Dialg

data Dialgebra f g a

data Dialg f g a b

dialgId

dialgebra

type Alg f

type Algebra f a

type Coalg f

type Coalgebra f a

type InitialFAlgebra f

type TerminalFAlgebra f

type Cata f a

type Ana f a

data NatNum

primRec

data FreeAlg m

data ForgetAlg m

eilenbergMooreAdj