Changelog for constraints-extras-0.4.0.2

Revision history for constraints-extras

Make Has from a type synonym into the class upon which everything else is based. Instances may define either has or argDict which are now both methods of Has. This should hopefully improve the readability of type errors involving the library a fair bit, as everything wanted to use Has, but it was defined in terms of the less commonly appearing ArgDict and ConstraintsFor.
The ConstraintsFor type family has been removed as it is now unnecessary, as instances of Has can simply be constrained directly. This has the added benefit of allowing QuantifiedConstraints in those instance heads that formerly would not have been allowed as part of the result of a type family.
The ArgDict class has also been removed, as it was also basically never used on its own.

Allow deriving instances with deriveArgDict for data and newtype family instances by supplying the name of one of its constructors
Support GHC 9.0.1

Drop markdown-unlit in favor of using regular "Bird"-style LHS to avoid some cross-compilation problems

Added a parameter for the type class, to allow for custom not-fully-polymorphic instances of ArgDict in cases where e.g. your key type contains dictionaries for specific classes. You will now need FlexibleInstances, MultiParamTypeClasses for the instances created by deriveArgDict.

Bumped version bounds on base and template-haskell to admit the versions from GHC 8.6.x

Added ChangeLog.md
Replaced some occurrences of <> in Data.Constraint.Extras.TH with ++ so that the module will hopefully build with GHC 8.0.2 and 8.2.2 without needing to import Data.Semigroup.