let compare i1 i2 = Datatype.Int.compare i1.tag i2.tag