diff --git a/ChangeLog.md b/ChangeLog.md
--- a/ChangeLog.md
+++ b/ChangeLog.md
@@ -2,6 +2,14 @@
 Change Log
 ==========
 
+Version 0.8.0.1 (2016-07-29) *58th Anniversary of the Creation of NASA*
+-----------------------------------------------------------------------
+
+#### Package changes
+
+* Change QuickCheck lower bound to 2.9 for GHC >= 8 (base >= 4.9)
+  ([Adam Bergmark](https://github.com/bergmark)])
+
 Version 0.8 (2016-07-17) *Constitution Day in South Korea*
 ----------------------------------------------------------
 
diff --git a/dlist.cabal b/dlist.cabal
--- a/dlist.cabal
+++ b/dlist.cabal
@@ -1,5 +1,5 @@
 name:                   dlist
-version:                0.8
+version:                0.8.0.1
 synopsis:               Difference lists
 description:
   Difference lists are a list-like type supporting O(1) append. This is
@@ -44,5 +44,10 @@
   build-depends:        dlist,
                         base,
                         Cabal,
-                        QuickCheck >= 2.7 && < 2.10
-  ghc-options:          -Wall
+                        QuickCheck < 2.10
+  if impl(ghc >= 8)
+    -- QuickCheck-2.9 introduced support for Semigroup and NonEmpty in base.
+    -- It is required for testing base >= 4.9 (GHC >= 8).
+    build-depends:      QuickCheck >= 2.9
+  else
+    build-depends:      QuickCheck >= 2.7