@Toivo It would be pretty weird if 

typejoin(Wow{Int, Float64}, Wow{Int, Rational})

returns Wow{Int, Real} rather than Wow{Int} given that the former isn't a 
supertype of either of them... 

// Tomas 

Reply via email to