Hi @Erica_Sadun – discussion of SE-0203 should stay on the review thread. This thread is specifically for whether Sequence should be changed/augmented to differentiate between different notionally ordered and unordered iterable things.
There is some discussion of the case for/against eliminating the sequentially-equal method on that thread.