Future of typing ?

[Araq]

> That would be nice to have, these cases don't require any extraordinary 
> compiler logic and won't slow down compilation.

You need to prove that by submitting a pull request. :P