[Haskell-beginners] question on types

[Gary Klindt]

So, why is it possible to work with the map :: (a -> b) -> [a] -> [b] 
function? One can use it with list of number and functions on numbers, 
can't one.