9th chapter - not much code, just explanations on functors, monoids, monads