UNB/ CS/ David Bremner/ teaching/ cs4613/ lectures/ lecture6/ snippet-021.rkt 
#lang plait
(interp (test (Lam 'x (Num 2))
            (Lam 'x (Num 2))))