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