True, still none of the "interesting" SortedRange methods are applicable to InputRanges, so I don't see the point of lowering that constraint.