Fix loopification with profiling and enable it by default (#8275)
Document solution to #8275
Don't explicitly refer to nodeReg in ldvEnterClosure
Move the LDV code below the self-loop label (#8275)
Respect the ordering of -package directives
Revert "Respect the ordering of -package directives"

This commit was accidentally pushed.

This reverts commit 574ccfa231ca05d03d1da9d31e5bc81e74cc5e1e.
TcDeriv: s/isomorphism/coercible

in comments and function names, to use less names for the same thing.
With GND, report Coercible errors earliy

just like other type errors occurring during deriving.
Print nicer error message for Coercible errors

It now reads

   Could not coerce from ‛S a’ to ‛S (NT a)’

and does not mention Coercible any more (as discussed in #8567).
Refactor deferTcSForAllEq: Do not bind, but return EvTerm
Bind monadic stuff in getCoercibleInst locally, not via parameters
Handle Coercible (forall a. t) (forall a. t2) in TcInteract
More links to [Coercible Instances]