Comment by arwineap

> I want to be able to say “this function argument is a dictionary that has at least the keys a, b, and c.” It gives the contract that the function only accesses those keys, and others will be ignored.

Do we agree that this is the behavior of regular dicts in python? How should TypedDicts be different?

Surely, the goal of typing in python should not be to match behavior without