!(assert-eq 2 ((lambda (f) (f 2)) ((lambda (x y) y) 1)))