Dear Committee, John Ericson continues his series of amendments to #448 (Modern Scoped Type Variables); in #608 he scales back -XPatternSignatures so that it does not include pattern signature bindings. This is quite similar to my #119 from 5 years ago. https://github.com/ghc-proposals/ghc-proposals/pull/608 I’d like to assign this to Richard as one of the experts on scoped type variables. 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/