Hackage technical debt

[ahubers]

Just logging lest I forget.

Disabled Safe

in

• Quickcheck
  • src/Test/QuickCheck.hs
  • src/Test/QuickCheck/Arbitrary.hs
  • src/Test/QuickCheck/Monadic.hs

Disabled Template Haskell

in

• unordered-containers
  • ...
• primitive
  • ...

Silenced an error message

• in compiler/GHC/Tc/Solver/Interact.hs,
  But this has been fixed by @fxdpntthm in 1f8fc61.

General Sloppiness in Hackage forks

• Some of the forked Hackage packages still have {-# LANGUAGE PartialTypeConstructors #-}, as I had yet to fix and merge support in Cabal permitting "PartialTypeConstructors" as a default-extension (see d15c680754270e9e4574c2c6d97040f0225fdc24).
• I did not add version checks (i.e., if MIN_VERSION_base(...) around annotations. I need to think on if this is justified.
• Some annotations may be more broad than necessary; when in doubt, I chose expedience over precision. So you may see some Total m annotations where m @ a would have sufficed.