up to word counter 10.11
up to ex 10.15 (Foldable)
done with chapter 10, Monoids