Dear Committee, this is your secretary speaking: A syntax change to the linear types arrow has been proposed by Mathieu Boespflug https://github.com/ghc-proposals/ghc-proposals/pull/356 This is a change to the accepted linear types proposal (so no separate link to a rendered proposal). As usual with amendment PRs, I propose the original shepherd, in this case Richard, as the shepherd. Note that Mathiew has a question for us to answer as part of viewing, see https://github.com/ghc-proposals/ghc-proposals/pull/356#issuecomment-6901042... so maybe also propose an answer to that? Please guide us to a conclusion as outlined in https://github.com/ghc-proposals/ghc-proposals#committee-process Thanks, Joachim -- Joachim Breitner mail@joachim-breitner.de http://www.joachim-breitner.de/