Example -> use of Monoids in the design and implementation in the Diagram Library from composition of primitives to caching