Polymorphic_compare_intf.Infix