#lang plait
(define-type Exp
  [num (n : Number)]
  [plus (left : Exp) (right : Exp)]
  [times (left : Exp) (right : Exp)])

(num 3)
(plus (num 3) (num 4))
(times (plus (num 3) (num 5)) (num 6))