UNB/ CS/ David Bremner/ teaching/ cs4613/ lectures/ lecture12/ let2.rkt 
#lang smol/fun
(let ([x 3])
  (+ (let ([y 4])
       y)
     x))