While it's impossible for this type to exist in python, will a type checker complain if you write that type out? Does it have the notion that the first type of

While it's impossible for this type to exist in python, will a type checker complain if you write that type out? Does it have the notion that the first type of `Dict` (or just `dict` in Python 3.9+, iirc) must be `Hashable`