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