`+` and `-` already have a meaning in the Python typing world (and some other languages, like Scala), they are used to mark the variance of a type parameter: `+` means covariant and `-` means contravariant (invariant is `~`). ```python from typing import TypeVar print(TypeVar("T"), TypeVar("U", covariant=True), TypeVar("V", contravariant=True)) #> ~T +U -V ``` Yes, they are not used directly in the code, so maybe the meaning of theses operator can be extended (the applications are quite different indeed), but it's maybe too early to plan this kind of shortcuts for this feature. See the time that PEP 604 has taken for `Union` notation shortcut. By the way, I don't know if `TypedDict` is a popular enough feature to bind such common operators to it without taking step back.