A niche feature, though. It is really useful only ...

# language-proposals

[elizarov]

A niche feature, though. It is really useful only for this kind of low-level libraries. If you have union types, there is a big risk of JS/Python-style abuse of it for "flexible" APIs which seems convenient for small scripts, but does not scale for larger apps.