Dear Committee, this is your secretary speaking: Function result type signatures have been proposed by Vladislav Zavialov https://github.com/ghc-proposals/ghc-proposals/pull/228 https://github.com/int-index/ghc-proposals/blob/fn-res-sig/proposals/0000-fu... I propose Simon PJ as the Shepherd, for having commented on it before. 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/