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