A Java-like Comparator type.