TypeVar_variance_in_init
T: TypeVar = TypeVar('T', infer_variance=True) # treated as invariant