((lambda (x)
   ((lambda (y) (let ([a 3]) a))
    (let ([b 4]) b)))
 5)



((lambda (x)
   ((lambda (y) ((lambda (a) a) 3))
    ((lambda (b) b) 4)))
 5)