if everything in a Union <: T, then this Union <: T, after all, a Union is nothing but a “union” of types; Union should not be thought of as a type like Tuple or Set or Vector, similar to how DataType shouldn’t be thought as “ordinary” types like Float64 or Integer (thus the special behavior)