On to monads
Ex 1 of chapter 10 monads done