Control.Invertible.Monoidal.Free
data Free f a
showsFree
mapFree
foldFree
produceFree
runFree
parseFree
reverseFree
freeTNF
freeTDNF
sortFreeTDNF