Friends

Now that the Quantified Constraints proposal 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.

Thanks!

Simon