[Typing-sig] Re: Should a single TypeVar be allowed in a function signature?