Control.Invertible.Monoidal.Free

data Free f a

showsFree

mapFree

foldFree

produceFree

runFree

parseFree

reverseFree

freeTNF

freeTDNF

sortFreeTDNF