\x. \f. let  r = f r x  in  r