f (x:xs) = x + 1 : f xs ; f [] = []