I don't think your SubSet example would work as written, because equivalent Sets have different indices, but leaving that detail aside I think @John_McCall is right that it wouldn't be in the spirit of the proposed API here. In any case we are reviewing the APIs proposed for the specific concrete types here.