Applicative functors: exercise 4