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

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