Modified soution to Ex 8 of Monads chapter
Some minor changes