This is only relevant if #205 gets merged. Once we drop support for Python 3.10, we can change domain.py to use ```python from typing import TypeVarTuple # ... class Scope(Generic[*PARAMS, SUPER]): ``` and remove the dependency on `typing_extensions`.