UNB/ CS/ David Bremner/ teaching/ cs4613/ lectures/ lecture6/ snippet-004.rkt 
#lang plait
{let1 {sqr {lam x {* x x}}}
  {+ {sqr 5} {sqr 6}}}