Applicative Functors: ((->) r) AKA functions
Applicative Functors: ZipList