#lang plait
(define-type BT
  [mt]
  [node (v : Number) (l : BT) (r : BT)])