FP.Free
data
FreeMonoid
a
data
FreeFunctor
f a
data
FreeMonoidFunctor
f a