Dear Committee, Vlad proposes to allow class variable binders on the left of :: in class method signatures: https://github.com/ghc-proposals/ghc-proposals/pull/267 https://github.com/int-index/ghc-proposals/blob/class-method-headers/proposa... I'd like to nominate Jakob as the shepherd (welcome Jakob!). Please guide us to a conclusion as outlined in https://github.com/ghc-proposals/ghc-proposals#committee-process Cheers, Adam -- Adam Gundry, Haskell Consultant Well-Typed LLP, https://www.well-typed.com/ Registered in England & Wales, OC335890 27 Old Gloucester Street, London WC1N 3AX, England