Jump to user comments
argument to each element of its second argument (a list) and
returns the list of results.
map :: (a -@# b) -@# [a] -@# [b]
map f [] = []
map f (x:xs) = f x : map f xs
This can be generalised to types other than lists.
(1997-11-05)