public toString(): string {
    return `KeySet<SOME[${this.elementsSorted.map((x) => x.toString())}]>`;
  }