> There are typed dicts where you specify field names and the respective key types
The only way to achieve this that I'm aware of is PEP 589: subclassing TypedDict. Which I believe negates the argument in the post.
Although reading a lot of what has been written here, it seems people aren't really getting the spirit of the post in the first place.