Implement ch12/about_those_monoids examples
Implement ch12/meet_some_monoids examples (in progress)