[LYAHFGG] Functors, Applicative Functors and Monoids.