Re: [julia-users] Trouble with Type Parameters

[Toivo Henningsson]

I've only come to suspect this recently, but I believe that type parameters 
have always been a special case such that if T is a type parameter of a method, 
then x::T in the argument list requires that T===typeof(x), not just isa(x, T) 
as otherwise. I guess that this is deliberate, though I find it inconsistent 
and somewhat dissatisfying.