let f = \x.\y. f y x in f a b c d e g