(define a
  (lambda (x)
    (lambda (y)
      (+ x y))))


(define a5 (a 5))
(define a7 (a 7))


(a5 4)
(a7 2)