A while ago I saw a pull request that changed printing so that Array{<:Real,1} would print as Array{<:Real,1}, instead of like this:
julia> Array{<:Real,1}
Array{var"#s17",1} where var"#s17"<:Real
But I can’t find that PR now. Can anyone point me to it?