datatype t = true of int;