Exercise 7, but no monoids...