如何使用一次性泛型创建类型别名？

如何解决如何使用一次性泛型创建类型别名？

我希望创建一个类型别名，该别名可以采用别名中实际未使用的泛型。原因是自记录代码，我知道没有类型检查器能够实际检查它。这是我的意思：

from typing import TypeVar,Dict,Any

from dataclasses import dataclass
from dataclasses_json import dataclass_json,DataClassjsonMixin


JSON = Dict[str,Any]  # Good enough json type for this demo
T = TypeVar("T",bound=DataClassjsonMixin)
JSONOf = JSON[T]  # <-- mypy Problem: JSON takes no generic arguments

@dataclass_json   # this just provides to_json/from_json to dataclasses,not important for question
@dataclass
class Person:
    name: str
    age: int

def add_person_to_db(person: JSONOf[Person]):
    # just from reading the signature the user Now kNows what the input is
    # If I just put JSON as a type,it is unclear
    ...

问题是JSON类型别名没有使用泛型参数，所以无法接收。我需要在别名定义中使用它，而无需实际使用它。我尝试使用 PEP-593 Annotated 类型执行此操作，但它也不起作用（我可以像下面那样定义它，但它仍然不期望通用参数）：

from typing import Annotated

JSONOf = Annotated[JSON,T]

我需要做类似的事情（这不存在）：

from typing import ThrowAwayGeneric

JSONOf = ThrowAwayGeneric[JSON,T]

是否有可能获得类似于类型检查的东西？再说一次：我实际上对 json 数据的类型检查不感兴趣，我只想提供该函数的可读签名。在实际类型检查时使用 Dict[str,Any] 是否完全正常。

这种蛮力方法当然是为每种类型定义一个别名，但由于此类类型很多，这变得很乏味。

JSONOfPerson = JSON