map, map, liftM
> :t map map :: (a -> b) -> [a] -> [b] > :t fmap fmap :: Functor f => (a -> b) -> f a -> f b > :t liftM liftM :: Monad m => (a1 -> r) -> m a1 -> m r > :t (<*>) . pure (<*>) . pure :: Applicative f => (a -> b) -> f a -> f b > map (+1) [1,2,3] [2,3,4] > fmap (+1) [1,2,3] [2,3,4] > liftM (+1) [1,2,3] [2,3,4] > ((<*>) . pure) (+1) [1,2,3] [2,3,4] >