Did Ex 2 of monads with help from answers. Anonymous class with type
Ex 3 of monads done