[Typing-sig] Re: Any way to express that a dict is expected to have a key(s) but don't care about other keys?

Would anyone like to write a pep adding this functionality? For context Typescript has the ability to constrain the types of additional properties in this way. I would be happy to collaborate with someone.