Data.Semiring.Free

data Free a

liftFree

unFree