TypeVar_variance_co
TT: TypeVar = TypeVar('TT', infer_variance=True) # inferred as covariant