[ghc-steering-committee] Please review #356: Linear Types arrow, Shepherd: Richard

[Joachim Breitner]

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-690104224
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 at joachim-breitner.de
  http://www.joachim-breitner.de/