Yeah that is not possible: we would need to make `A[DT]` itself a `TypeVar` which cannot be done in Python due to lack of support for higher-kinded types
More over, as far as I understand, the interpretation order will not allow it, as method decorators are interpreted first and only then the class itself with inheritance. Or did I misunderstand?