Dear Committee, this is your secretary speaking: the kind!! command ghci was proposed: https://github.com/ghc-proposals/ghc-proposals/pull/79 I propose Manuel as the shepherd, as he is the the only remaining committee member who is currently not shepherding anything(!). Manuel, please reach consensus as described in https://github.com/ghc-proposals/ghc-proposals#committee-process I suggest you make a recommendation, in a new e-mail thread, about the decision, maybe point out debatable points, and assume that anyone who stays quiet agrees with you. Thanks, -- Joachim Breitner mail@joachim-breitner.de http://www.joachim-breitner.de/