Exercise
lGive a type signature for map.
l(Hint: Let T stand for the type of elements in the list.)