Comparable_intf.Infix