Implement ch12/folding_with_monoids examples
Implement ch13/upgrading_our_applicative_functors examples (in progress)