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