I haven't been convinced yet. As I said in my previous email, I'm a priori against this proposal. But this is a gut feeling. More importantly than that, I don't feel that we have documented how other communities handle this. I also don't feel that the number of unimplemented proposals is so high as to be a problem.

On Mon, Sep 19, 2022 at 7:42 PM Joachim Breitner <mail@joachim-breitner.de> wrote:
Hi,

also in light of the discussion at Haskell Symposium, can we proceed
with this (or drop this)? Arnaud was most vocally in the “against”
camp; are you still against it?

NB: Opening PRs and discussing them with the general public is welcome
even before implementors have been found, and committee members can of
course join that discussion. Only the formal committee submission would
be blocked until implementors have been found.

Cheers,
Joachim

--
Joachim Breitner
  mail@joachim-breitner.de
  http://www.joachim-breitner.de/

_______________________________________________
ghc-steering-committee mailing list
ghc-steering-committee@haskell.org
https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee