diff --git a/Test/HUnit/DejaFu.hs b/Test/HUnit/DejaFu.hs
--- a/Test/HUnit/DejaFu.hs
+++ b/Test/HUnit/DejaFu.hs
@@ -4,6 +4,12 @@
 {-# LANGUAGE ScopedTypeVariables #-}
 {-# LANGUAGE TypeSynonymInstances #-}
 
+#if __GLASGOW_HASKELL__ >= 800
+-- Impredicative polymorphism checks got stronger in GHC 8, breaking
+-- the use of 'unsafeCoerce' below.
+{-# LANGUAGE ImpredicativeTypes #-}
+#endif
+
 -- | This module allows using Deja Fu predicates with HUnit to test
 -- the behaviour of concurrent systems.
 module Test.HUnit.DejaFu
@@ -90,7 +96,7 @@
 
 assertableP :: Predicate (Either HUnitFailure ())
 assertableP = alwaysTrue $ \r -> case r of
-  Right (Left (HUnitFailure _ _)) -> False
+  Right (Left (HUnitFailure {})) -> False
   _ -> True
 
 --------------------------------------------------------------------------------
diff --git a/hunit-dejafu.cabal b/hunit-dejafu.cabal
--- a/hunit-dejafu.cabal
+++ b/hunit-dejafu.cabal
@@ -2,7 +2,7 @@
 -- documentation, see http://haskell.org/cabal/users-guide/
 
 name:                hunit-dejafu
-version:             0.3.0.0
+version:             0.3.0.1
 synopsis:            Deja Fu support for the HUnit test framework.
 
 description:
@@ -33,15 +33,15 @@
 source-repository this
   type:     git
   location: https://github.com/barrucadu/dejafu.git
-  tag:      hunit-dejafu-0.3.0.0
+  tag:      hunit-dejafu-0.3.0.1
 
 library
   exposed-modules:     Test.HUnit.DejaFu
   -- other-modules:       
   -- other-extensions:    
-  build-depends:       base >=4.5 && <5
-                     , exceptions
-                     , dejafu >= 0.2
-                     , HUnit
+  build-depends:       base       >=4.8 && <5
+                     , exceptions >=0.7 && <0.9
+                     , dejafu     >=0.2 && <0.4
+                     , HUnit      >=1.2 && <1.4
   -- hs-source-dirs:      
   default-language:    Haskell2010