Impement ch12/wrapping_an_existing_type_into_a_new_type examples
Implement ch12/about_those_monoids examples (in progress)