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