Chapter 12 applicative: assoc