adding exercise 6.4
adding exercise 11.2 (monoids)