The typeof a tuple is a subtype of Tuple:
julia> typeof((1, 2, 3))
Tuple{Int64,Int64,Int64}
julia> typeof((1.0, :x, (1, 2)))
Tuple{Float64,Symbol,Tuple{Int64,Int64}}
Unlike other data types, Tuple types are covariant. Other data types in Julia are generally invariant. Thus,
julia>...