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