That's something discussable, although I think the...

# language-proposals

[dmitry.petrov]

That's something discussable, although I think the main argument against it would be
"I would like projections to be explicit, since they restrict possible usage of the corresponding generic type".