UNB/ CS/ David Bremner/ teaching/ cs4613/ lectures/ lecture8/ snippet-014.rkt 
#lang plait
{let1 {x 3}
      {let1 {f {lam y {+ x y}}}
            {let1 {x 5}
                  {f 4}}}}