f = foo (\x y -> x + y)