09: applicative functors