Implement ch12/folding_with_monoids examples (in progress)