BatInterfaces.OrderedType