Restore previous infix:<cmp> sorting on different types.