UNB/ CS/ David Bremner/ teaching/ cs4613/ lectures/ lecture7/ snippet-002.rkt 
#lang plait
{let1 {f {let1 {x 1} {lam y {+ x y}}}}
  {let1 {x 2}
    {f 3}}}