Data.Functor.HCofree
type f :~> g
data HCofree c g a
counit
leftAdjunct
unit
rightAdjunct
hfmap
liftCofree
lowerCofree
convert
coiter
unwrap