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