lambda f. lambda x. lambda y. f x y