<html><head><meta http-equiv="Content-Type" content="text/html; charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><br class=""><div><br class=""><blockquote type="cite" class=""><div class="">On Oct 1, 2020, at 4:58 AM, Joachim Breitner <<a href="mailto:mail@joachim-breitner.de" class="">mail@joachim-breitner.de</a>> wrote:</div><div class=""><div class=""><br class=""><blockquote type="cite" class=""><br class=""></blockquote>The main alternative to this proposal is #295. It is probably worth<br class=""><blockquote type="cite" class="">it<br class=""></blockquote>for at least the committee shepherd to read #295 in concert with <br class=""><blockquote type="cite" class="">this<br class=""></blockquote>current proposal, to see which approach they like more.<br class=""></div></div></blockquote></div><br class=""><div class="">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 (<a href="https://github.com/ghc-proposals/ghc-proposals/pull/295#issuecomment-702044502" class="">https://github.com/ghc-proposals/ghc-proposals/pull/295#issuecomment-702044502</a>) on #295 suggests a (in my opinion) very vague alternative approach building from #295 that could be considered an alternative to #283.</div><div class=""><br class=""></div><div class="">Thanks,</div><div class="">Richard</div></body></html>