Ex 11 of Monads chapter is done