Applicative Functors: [] (the list type constructor)