Monads exercise 1