How do you mean you don't get compile time safety?...

# language-proposals

[okkero]

How do you mean you don't get compile time safety? in the case of is Left, for instance, that isn't a raw type. It's actually inferred as Left<Int, Nothing>, which is what you wanted, isn't it? Inference?