Making union types even more useful

[bjornregnell]

They’re different things but they have a method in common

In the thread about multi-level enums there is now a post by @michel-steuwer with an interesting use case for unions with shared members:

@michel-steuwer

The second example from the original post (the Hierarchy of Reals/Rationals/Integers/Naturals) is more tricky using Union Types as the top-level type has a shared member.