Actually, everywhere where you now have to introdu...

# language-proposals

[gregd]

Actually, everywhere where you now have to introduce specific sub-type just to achieve the same thing, e.g.:

interface SimpleFoo<T> : Foo<T, Unit, Unit>

Introducing a new type just for this is cumbersome. And inconvenient for the users, because they have to know about this type.