module Lambda where f = \x y -> x y