adamc@156: datatype t = A | B
adamc@156: 
adamc@156: val a = A
adamc@156: val b = B
adamc@156: 
adamc@156: datatype foo = C of t
adamc@156: 
adamc@156: val c = C a
adamc@156: 
adamc@156: datatype list = Nil | Cons of {Head : int, Tail : list}
adamc@156: 
adamc@156: val nil = Nil
adamc@156: val l1 = Cons {Head = 0, Tail = nil}
adamc@312: 
adamc@312: datatype term = App of term * term | Abs of term -> term
adamc@312: