Missing bounds for `base` break builds with QuicckCheck-2.17.0.0 (and probably more)

[ulysses4ever]

getDown was introduced in GHC 8.10 (base-4.14.0.0)

So, I'm getting

src/Test/QuickCheck/Arbitrary.hs:1181:32: error:
    Variable not in scope: getDown :: Down a -> a

with GHC 8.8 and GHC 8.6.

Data.Finctor.Contravariant was introduced in GHC 8.6 (base-4.12.0.0)

So, I'm getting

src/Test/QuickCheck/Arbitrary.hs:218:1: error:
    Could not find module ‘Data.Functor.Contravariant’

with GHC 8.4.

---

It will also bring problems down the road that transformers, containers, data-array-byte, deepseq, template-haskell are all missing (some) bounds. Also, random is outdated and uses an upper bound with trailing zeroes which is a bad idea, as rightly pointed out by cabal check.

All these issues could be fixed by a Hackage revision.

[MaximilianAlgehed]

Thanks for catching this. I've bumped the base constraint.

The bounds situation on the other packages I won't deal with now but it's indeed something that needs to be addressed.

[ulysses4ever]

Thanks!