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