How to `isinstance` a typing type so that it works with static type checkers?

See Is `Annotated` compatible with `type[T]`?