Full static type inference of set theoretic types

[lud]

Thanks! I guess it has been suggested already but that would be cool if the compiler could emit a notice in such cases and suggest guards to add.