(define (f x)
   (lambda (y)
     (+ x y)))

(define h (f 3))

; (h 2) adds 2 onto 3