Data.Functor.HFree

type f :~> g

data HFree c f a

unit

rightAdjunct

counit

leftAdjunct

transform

hfmap

bind

liftFree

lowerFree

convert

iter

wrap