Friends Now that the Quantified Constraints proposal<https://github.com/Gertjan423/ghc-proposals/blob/quantified-constraints/proposals/0000-quantified-constraints.rst> is accepted, I want to commit it to GHC before the 8.6 release. It's up on https://phabricator.haskell.org/D4724 for your review. It's rebased on master, and validates clean. There's also a useful wiki page<https://ghc.haskell.org/trac/ghc/wiki/QuantifiedConstraints>. Thanks! Simon