Control.Functor.HigherOrder
class
HFunctor
f
class
HPointed
m
class
HCopointed
w
type
HAlgebra
f g
type
HCoalgebra
f g
data
FixH
f a
data
LowerH
h f a