Как я могу обеспечить соблюдение составных (параметризованных универсальных) подсказок типов во время выполнения? ⇐ Python

[Anonymous]

Есть ли способ обеспечить соблюдение подсказок составного типа в Python? Я хочу добиться следующего поведения:

Код: Выделить всё

import type_enforced

@type_enforced.Enforcer
def my_fn(a: list[int]) -> None:
pass

my_fn(a=[1, 2])   # This should work
my_fn(a=[1, '2']) # This should raise an exception

Обратите внимание, что проблема должна заключаться в списке[int]. Когда я использую просто def my_fn(a: list) -> None:, код должен работать без ошибок.
Я видел соответствующие вопросы здесь и здесь, но они меня не приблизили.