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