I think Ceylon will do it, though from my understa...

# language-proposals

[groostav]

I think Ceylon will do it, though from my understanding these kinds of type features tend to require stupidly complex analysis times 😕