More Chapter 11 - Applicative Functors problems