Up to Ex 8 of monads done