TypeVar_variance_inv
TT: TypeVar = TypeVar('TT', infer_variance=True) # inferred as invariant