Here's a status update for PEP 604: https://www.python.org/dev/peps/pep-0604/

- Ivan has asked the SC to find another PEP delegate for personal reasons, and the SC has asked me to step up in his place. Philippe, the PEP's author, has agreed.

- Maggie Moss has volunteered to write an implementation which is currently in progress at https://github.com/python/cpython/pull/21515.

- I am quite positive regarding the PEP, I just think we need to tighten the specification some more, especially in corner cases and for interoperability with types defined in typing.py. I will work with Maggie and Philippe on this. I see no problem getting this into 3.10. It will make a nice complement to the list[int] notation introduced in 3.9 by PEP 585.

Here's a summary of the key points from the PEP:

- `int | str` represents the union of `int` and `str`

- There will be a new extension type, `types.Union` (1), to represent unions created using `|`

- Such types will be acceptable in `isinstance(x, t)` and `issubclass(C, t)`

The rest is elaboration; most semantics are derived from existing semantics of `typing.Union[]`. We also strive for decent interoperability with the `typing` module.

(1) Beware! The existing union notation uses `typing.Union`; the new notation uses `types.Union`.

--