On Mon, May 4, 2020 at 10:03 Antoine Pitrou <solipsis@pitrou.net> wrote:

Of course, that's why I originally suggested that `Dict[...]` should be
spelled `Dict(...)` instead.

...and we’d be hosed now with no path from Dict to dict.