(And we use OrderedSet for everything! A faster impl might make a non-trivial difference in our performance)