[ghc-steering-committee] Discussion on #155 Type Variable in Labmdas

[Vladislav Zavialov]

Dear GHC steering committee,

> In the end, this proposal does not bring in much over ScopedTypeVariables

Please note that comparing this feature to ScopedTypeVariables does
not capture the full picture. There are two examples of code in the
proposal, which I provided, that cannot be expressed using
ScopedTypeVariables without a dummy Proxy argument.

> With finite effort cycles, we may have more important fish to fry.

I was planning to implement this proposal if it would be accepted.

All the best,
- Vladislav