UNB/ CS/ David Bremner/ teaching/ cs4613/ lectures/ lecture2/ snippet-029.rkt 
#lang plait
(define-type AE
  [Num (val : Number)]
  [Add (left : AE) (right : AE)]
  [Sub (left : AE) (right : AE)])