I’ll be sorry to lose you Alejandro! PS: I am leaving Microsoft at the end of November 2021, at which point simonpj@microsoft.commailto:simonpj@microsoft.com will cease to work. Use simon.peytonjones@gmail.commailto:simon.peytonjones@gmail.com instead. (For now, it just forwards to simonpj@microsoft.com.) From: ghc-steering-committee On Behalf Of Alejandro Serrano Mena Sent: 21 September 2021 12:23 To: Simon Peyton Jones via ghc-steering-committee Subject: [ghc-steering-committee] Stepping down Hello everybody, In the last time I hadn’t had the energy to follow many of the discussions in this committee, and I don’t think this will change soon, so I would like to step down from the committee. If you think it’s OK, I can keep shepherding the proposal which was assigned to me (NoFallibleDo), since it doesn’t feel right to put that on somebody else’s shoulders. Kind regards, Alejandro

Hi Alejandro, thanks for your contributions! You brought a lot of energy to the table for most of the time you were on the committee, and I am grateful for that. Also thanks for being reflective about your commitments, and stepping down before they become a burden for you, and vice versa. If you want, I suggest you finish shepherding the NoFallibleDo proposal, and “officially” resign from the committee once that’s done. I promise to not assign further proposals to you :-) Cheers, Joachim Am Dienstag, dem 21.09.2021 um 11:23 +0000 schrieb Alejandro Serrano Mena:

In the last time I hadn’t had the energy to follow many of the discussions in this committee, and I don’t think this will change soon, so I would like to step down from the committee.

If you think it’s OK, I can keep shepherding the proposal which was assigned to me (NoFallibleDo), since it doesn’t feel right to put that on somebody else’s shoulders.

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

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