Dear Committee, Jack Hughes and Arnaud Spiwack propose to introduce Linear Constraints in order to reduce boilerplate when using linear types: https://github.com/ghc-proposals/ghc-proposals/pull/621 https://github.com/tweag/ghc-proposals/blob/linear-constraints/proposals/062... I'd like to nominate Jakob Brünker as the shepherd. 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