UNB/ CS/ David Bremner/ teaching/ cs4613/ lectures/ lecture8/ snippet-033.rkt 
#lang plait
{let1 {f
       {lam x
            {f x}}}
      {f 0}}