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