Let's say I have a type parameterized with two other types and I do the following:
type A{T,P}
a::T
end
typealias B{T} A{T, 1}
B(1.0) # Error
B{Float64}(1.0) # Works
Is there anyway you could write the code so that the T type is inferred
from the argument to the call to B.
Best regards,
Kristoffer Carlsson
