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