On Oct 1, 2020, at 4:58 AM, Joachim Breitner <mail@joachim-breitner.de> 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-702044502) on #295 suggests a (in my opinion) very vague alternative approach building from #295 that could be considered an alternative to #283.