* Support for QuickCheck-2.9

As requested by fpco/stackage#1691

* Test with 8.0.1 on Travis-CI

* Remove redundant constraints

* Make `cabal check` happy