This proposal is pretty wanted, but I have a trivial question: the syntax you proposed conflicts with the dict literal, but how to distinguish between TypedDict type literal and existing dict literal? Or do you mean to treat some kind of dict as a type?