Data.Functor.HFree
type f :~> g
data HFree c f a
unit
rightAdjunct
counit
leftAdjunct
hfmap
liftFree
lowerFree
convert
iter
wrap