Data.Semiring.Free

data Free a

liftFree

lowerFree

runFree