Problems for Chapter 12 - The Monad Typeclass