diff --git a/Test/Tasty/DejaFu.hs b/Test/Tasty/DejaFu.hs
--- a/Test/Tasty/DejaFu.hs
+++ b/Test/Tasty/DejaFu.hs
@@ -4,6 +4,12 @@
 {-# LANGUAGE RankNTypes #-}
 {-# 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 Tasty to test
 -- the behaviour of concurrent systems.
 module Test.Tasty.DejaFu
diff --git a/tasty-dejafu.cabal b/tasty-dejafu.cabal
--- a/tasty-dejafu.cabal
+++ b/tasty-dejafu.cabal
@@ -2,7 +2,7 @@
 -- documentation, see http://haskell.org/cabal/users-guide/
 
 name:                tasty-dejafu
-version:             0.3.0.0
+version:             0.3.0.1
 synopsis:            Deja Fu support for the Tasty test framework.
 
 description:
@@ -33,15 +33,15 @@
 source-repository this
   type:     git
   location: https://github.com/barrucadu/dejafu.git
-  tag:      tasty-dejafu-0.3.0.0
+  tag:      tasty-dejafu-0.3.0.1
 
 library
   exposed-modules:     Test.Tasty.DejaFu
   -- other-modules:       
   -- other-extensions:    
-  build-depends:       base >=4.5 && <5
-                     , dejafu >= 0.2
-                     , tagged
-                     , tasty
+  build-depends:       base   >=4.8  && <5
+                     , dejafu >=0.2  && <0.4
+                     , tagged >=0.8  && <0.9
+                     , tasty  >=0.10 && <0.12
   -- hs-source-dirs:      
   default-language:    Haskell2010