Exercises to learn monads