Applicative Functors: IO
Add (<*>) type for []
Add (<*>) type for Maybe