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