Free category is ubiquitous https://github.com/kylcarte/derivation/blob/21776455a80c57db14276a6477486fc78cf9018f/src/Data/Evaluation.hs#L26
A tutorial on the universality and expressiveness of fold
uses
instead of