[ghc-steering-committee] Please review: visible dependent quantification, Shepherd: Roman Leshchinskiy

[Joachim Breitner]

Dear Committee,

this is your secretary speaking:

Visible dependent quantification (TL;DR: forall k -> k -> *)
https://github.com/ghc-proposals/ghc-proposals/pull/81
was brought before the committee, by our own Richard Eisenberg.

I propose Roman Leshchinskiy as the Shepherd.

Roman, please reach consensus as described in
https://github.com/ghc-proposals/ghc-proposals#committee-process

I suggest you make a recommendation about the decision, maybe point out
debatable points, and assume that anyone who stays quiet agrees with
you.

Thanks,
Joachim
-- 
Joachim Breitner
  mail at joachim-breitner.de
  http://www.joachim-breitner.de/
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: This is a digitally signed message part
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20171110/cb807e30/attachment.sig>