[Python-ideas] PEP idea

Hi all, As of 3.10 (PEP 604) we've gotten syntactical support for a common type operation— namely, typing.Union[Type1, Type2] can now be written as Type1 | Type2 . This is achieved via overriding the __or__ method. I propose the ? symbol as sugar for typing.Optional, so that typing.Optional[MyType] can be written as MyType? . (Yes, this is lifted directly from C#.) Thoughts? Is it unnecessary now that we can write MyType | None as of 3.10? Thanks, Will