11. Functors, Applicative Functors, and Monoids