This code: ```python from typing import Union, Type class C: ... x: Union[C, Type[C]] if isinstance(x, type) and issubclass(x, C): reveal_type(x) ``` Shows that the type of `x` is `builtins.type`. Ideally it should be `Type[C]`.