let equal = Datatype.from_compare