end of ch11, functors, applicative functors & monoids