f [] y = y; f (x:xs) y = f xs $ g x y