On Oct 1, 2020, at 4:58 AM, Joachim Breitner wrote:

...

The main alternative to this proposal is #295. It is probably worth

...

it for at least the committee shepherd to read #295 in concert with this current proposal, to see which approach they like more.

Since I wrote that on #283, Michael (the author of #295) effectively retracted that proposal, so it needn't be considered in tandem. For the sake of completeness: a comment (https://github.com/ghc-proposals/ghc-proposals/pull/295#issuecomment-7020445... https://github.com/ghc-proposals/ghc-proposals/pull/295#issuecomment-7020445...) on #295 suggests a (in my opinion) very vague alternative approach building from #295 that could be considered an alternative to #283. Thanks, Richard