UNB/ CS/ David Bremner/ teaching/ cs4613/ lectures/ lecture12/ bt1.rkt 
#lang plait
(define-type BT
  [mt]
  [node (v : Number) (l : BT) (r : BT)])