Chapter 12 applicative: Traversable implements Foldable