Dear Committee, this is your secretary speaking: Quick Look Impredicativity has been proposed by Alejandro Serrano https://github.com/ghc-proposals/ghc-proposals/pull/274 I propose Arnaud as the shepherd, as he whined about not having anything to shepherd when I met him on Wednesday ;-) Please reach consensus as described in https://github.com/ghc-proposals/ghc-proposals#committee-process In particular, talk to the authors before, if you think this should be rejected, and kick off the discussion on Github, following the steps described under “Now the shepherd proposes to accept or reject the proposal” in the above link. Thanks, Joachim -- Joachim Breitner mail@joachim-breitner.de http://www.joachim-breitner.de/