Python: TypeError: el objeto ‘TypeVar’ no es subscriptable. ¿Cómo crear un TypeVar con Generic limitado?

Estoy escribiendo una librería tipo ORM y mis instancias de modelo pueden existir en diferentes formas, como esta:

# Pueden tener cualquier atributo
selected_user: User[Selected] = db.select(User, ...)

# Deben tener atributos obligatorios
user_to_insert: User[ToInsert] = User.prepare_insert(...)

# Deben tener clave primaria
user_to_update: User[ToUpdate] = User.prepare_update(...)

Todas estas variables son instancias de la misma clase, comparten la misma lógica y atributos, y el argumento de suscripción describe su contenido. Para mí, parece un buen lugar para usar Generic y TypeVar.

Tengo dos clases base: View y Model:

class View: pass

class Selected(View): pass
class ToInsert(View): pass
class ToUpdate(View): pass

ViewVar = TypeVar("ViewVar", bound=View)

class Model(Generic[ViewVar]): pass

Funcionan bien para definir modelos:

class User(Model[ViewVar]):
    email: Optional[str] = ...
    name: Optional[str] = ...

El problema (TypeError: 'TypeVar' object is not subscriptable) ocurre con la escritura de funciones que procesan mis modelos:

ModelVar = TypeVar("ModelVar", bound=Model)

def insert(model_to_insert: ModelVar[ToInsert]) -> ModelVar[Selected]:
    pass

def prepare_insert(model: Type[ModelVar], description: dict) -> ModelVar[ToInsert]:
    pass

¿Hay alguna manera de usar TypeVar, limitado a un genérico, como genérico? ¿Por qué está prohibido? ¿Existen alternativas?

ACTUALIZADO
Encontré un “truco sucio”:

class GenericTypeVar(TypeVar, _root=True):
    def __getitem__(self, item): pass

Cambié TypeVar por GenericTypeVar. Es ilegible para los analizadores estáticos, pero evita que falle el código.