Dear Committee, Arnaud wants to amend linear types with linear lets: https://github.com/ghc-proposals/ghc-proposals/pull/624 https://github.com/ghc-proposals/ghc-proposals/pull/624/files I’d like to nominate Richard as the shepherd, given that he shepherded the Linear Types. But if you have too much on your plate, feel free to reassign to someone else. Please guide us to a conclusion as outlined in https://github.com/ghc-proposals/ghc-proposals#committee-process Cheers, Joachim -- Joachim Breitner mail@joachim-breitner.de http://www.joachim-breitner.de/