Dear Committee, Vladislav proposes to support visible forall in types of terms better: https://github.com/ghc-proposals/ghc-proposals/pull/626 https://github.com/ghc-proposals/ghc-proposals/pull/626/files I’d like to nominate Arnaud as the shepherd. Please guide us to a conclusion as outlined in https://github.com/ghc-proposals/ghc-proposals#committee-process Cheers, Joachim -- Joachim Breitner mail@joachim-breitner.de http://www.joachim-breitner.de/