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