It would be nice to see the modern union operator | in this codebase, I know it was only introduced full in 3.10 but was available from 3.7 with from __future__ import annotations which also beings in improved type checking in later versions.

Thoughts?