map f [x:xs] = [f x:map f xs] map f [] = []