Always use QuantifiedConstraints, support inductive GADTs#17

Draft

Ericson2314 wants to merge 18 commits intodevelopfrom ghc-86-plus-only

+240-56

Commits on Sep 11, 2019

Revert "Add a class parameter to ArgDict to support not-fully-polymorphic instances."
Ericson2314
committed

Commits on Sep 12, 2019

Commits on Jan 24, 2020

Fix markdown in read me
Ericson2314
authored

Commits on Feb 2, 2020

Commits on Dec 11, 2020

Commits on Dec 12, 2020

Remove quantified constraint superclass
Ericson2314
committed

Commits on Dec 2, 2021

Merge remote-tracking branch 'origin/develop' into ghc-86-plus-only
Ericson2314
committed