Array of Parametric Typed data fails Type Equality (but passes Type Identity)

[oxinabox]

On version: v"0.4.0-dev+4770"

I have made the MWE to illustrate:
Comments are the printed output of that/the preceeding line

Define the type:

abstract Side
abstract Left <: Side
abstract Right <: Side

type Hand{B<:Side}
    data::Int
end

create a Vector of it:

allhands = [Hand{Left}(5), Hand{Left}(6), Hand{Right}(2)]
#3-element Array{Hand{B<:Side},1}:
# Hand{Left}(5) 
# Hand{Left}(6) 
# Hand{Right}(2)

Check its equality:

println(typeof(allhands)) #Array{Hand{B<:Side},1}
println(Array{Hand,1})    #Array{Hand{B<:Side},1}
println(typeof(allhands) == Array{Hand,1}) #false
println(typeof(allhands) <: Array{Hand,1}) #false
println(typeof(allhands) === Array{Hand,1}) #true

That doesn't seem right at all.
How can they be Identical (===), but not Equal (==)?

---

Further, this breaks function calls:

function test(hands::Vector{Hand})
    print("yes")
end

println(methods(test))
#1 method for generic function "test":
# test(hands::Array{Hand{B<:Side},1}) 

test(allhands)
#LoadError: MethodError: `test` has no method matching test(::Array{Hand{B<:Side},1})
#Closest candidates are:
#  test(::Array{Hand{B<:Side},1})

[oxinabox]

Futher:

println(isequal(typeof(allhands), Array{Hand,1})) #false
println(isequal(hash(typeof(allhands)), hash(Array{Hand,1}))) #true
println(isequal(object_id(typeof(allhands)), object_id(Array{Hand,1}))) #true

object_id(typeof(allhands)) |> println #0xf333652b378c7f4e
object_id(Array{Hand,1})  |> println  #0xf333652b378c7f4e

as well as:

println(Array{Hand,1}==Array{Hand,1}) #true
x=Array{Hand,1}
y=Array{Hand,1}
println(x==y) #true
println(x===y) #true

[oxinabox]

Persistes with no change if the subtypes are made concrete:

abstract Side
#abstract Left <: Side
#abstract Right <: Side

type Left<:Side
end
type Right<:Side
end

---

Infact it persists even if the constraint is removed entirely:
As follows:

type Hand{T}
    data::Int
end

allhands = [Hand{Int}(5), Hand{Int}(6), Hand{Float64}(2)]

println(typeof(allhands)) #Array{Hand{T},1}
println(Array{Hand,1})    #Array{Hand{T},1}
println(typeof(allhands) == Array{Hand,1}) #false
println(typeof(allhands) <: Array{Hand,1}) #false
println(typeof(allhands) === Array{Hand,1}) #true

function test(hands::Vector{Hand})
    print("yes")
end

println(methods(test))
# 1 method for generic function "test":
# test(hands::Array{Hand{T},1}) 

test(allhands)
#LoadError: MethodError: `test` has no method matching test(::Array{Hand{T},1})
#Closest candidates are:
#  test(::Array{Hand{T},1})

What does work is:

function test_vec(hands::Vector)
    print("yes")
end

println(methods(test_vec))
# 1 method for generic function "test_vec":
#test_vec(hands::Array{T,1}) 

test_vec(allhands) #yes

[oxinabox]

I can confirm that all works as expect in v"0.3.9-pre+12"
So this is a 0.4 bug.
Not surprising I guess, it will need a regression test.
Unless it is a breaking change that I missed.