UNB/ CS/ David Bremner/ teaching/ cs4613/ lectures/ lecture5/ snippet-025.rkt 
#lang plait
{let1 5 {+ [0] {let1 6 {+ [1] [0]}}}}