Problems for Chapter 13 - Making Monads