[Typing-sig] Re: Definition-site variance for TypeVar