datatype t = T of int * t
withtype t = real