Extract from the current prototype of typing in this repo: For an unconstrained type variable T, isinstance(x, T) is false for all x, and similar for issubclass(cls, T). Example:: T = TypeVar('T') ...