julia> ASCIIString <: AbstractString
true

julia> Array{ASCIIString, 1} <: Array{AbstractString, 1}
false

julia> Array{ASCIIString, 1} <: Array{Union{ASCIIString, UTF8String}, 1}
false

julia> Array{Union{ASCIIString, UTF8String}, 1} <: Array{AbstractString, 1}
false

julia> typeof(["abc"]) <: Array{ASCIIString, 1}
true

julia> typeof(["abc"]) <: Array{AbstractString, 1}
false

julia> typeof(["abc"]) <: Array{Union{ASCIIString, UTF8String}, 1}
false

これなんとかならんか?