Chapter 12 applicative: exercise 13