It's also illuminating to note that haskell curries function application. This allows us to think of map as a function of one argument. map :: (a -> b) -> ([a]

It's also illuminating to note that haskell curries function application. This allows us to think of map as a function of one argument. map :: (a -> b) -> ([a] -> [b]) so instead of thinking that map takes a function and a list and applies that function to the list, we can think that map takes a function and "lifts" that functions argument and result types to the list type. This thinking leads us directly to Functors and fmap