Data.Functor.Free
data Free c a
deriveInstances
unit
rightAdjunct
rightAdjunctF
rightAdjunctT
counit
leftAdjunct
transform
unfold
convert
convertClosed
type Coproduct c m n
coproduct
inL
inR
type InitialObject c
initial