this cannot be the right ordering, right? You need the ordering on V otherwise if someone adds to the SortedSet it will be broken (claiming to be a sorted set, but really with a false ordering).