diff --git a/src/Test/Invariant.hs b/src/Test/Invariant.hs
--- a/src/Test/Invariant.hs
+++ b/src/Test/Invariant.hs
@@ -1,6 +1,7 @@
 module Test.Invariant where
 
 import Test.QuickCheck
+
 infix 1 <=>, &>
 
 -- | Defines extensional equality.  This allows concise, point-free,
@@ -151,16 +152,22 @@
 --
 -- >>> quickCheck $ inflating (1:)
 -- +++ OK, passed 100 tests.
-inflating :: (Foldable f, Foldable f') => (f a -> f' b) -> f a -> Bool
+inflating :: ([a] -> [b]) -> [a] -> Bool
 inflating f xs = length (f xs) > length xs
+-- For GHC 7.10
+-- inflating :: (Foldable f, Foldable f') => (f a -> f' b) -> f a -> Bool
+-- inflating f xs = length (f xs) > length xs
 
 -- | Checks whether a function decreases the size of a foldable.
 --
 --
 -- >>> quickCheck $ deflating tail
 -- +++ OK, passed 100 tests.
-deflating :: (Foldable f, Foldable f') => (f a -> f' b) -> f a -> Bool
+deflating :: ([a] -> [b]) -> [a] -> Bool
 deflating f xs = null xs || length (f xs) < length xs
+-- For GHC 7.10
+-- deflating :: (Foldable f, Foldable f') => (f a -> f' b) -> f a -> Bool
+-- deflating f xs = null xs || length (f xs) < length xs
 
 -- | Checks whether a function is cyclic by applying its result to
 -- itself within n applications.
diff --git a/test-invariant.cabal b/test-invariant.cabal
--- a/test-invariant.cabal
+++ b/test-invariant.cabal
@@ -1,5 +1,5 @@
 name:                test-invariant
-version:             0.3.1.2
+version:             0.4.0.0
 synopsis:            Provide common invariants to be checked with QuickCheck
 
 description: test-invariant is a library for providing common invariants of
@@ -15,11 +15,12 @@
 author:              Florian Knupfer <fknupfer@gmail.com>
 maintainer:          Florian Knupfer <fknupfer@gmail.com>
 copyright:           2015 Florian Knupfer
+tested-with:         GHC >= 7.10
 category:            Testing
 build-type:          Simple
 homepage:            https://github.com/knupfer/test-invariant
 -- extra-source-files:
-cabal-version:       >=1.10
+cabal-version:       >= 1.10
 
 source-repository head
   type:     git
@@ -29,14 +30,14 @@
   exposed-modules:   Test.Invariant
   -- other-modules:
   -- other-extensions:
-  build-depends:     base >=4.8 && <4.9
+  build-depends:     base == 4.*
                    , QuickCheck
   hs-source-dirs:    src
   default-language:  Haskell2010
 
 test-suite Tasty
   type:              exitcode-stdio-1.0
-  build-depends:     base >=4.8 && <4.9
+  build-depends:     base == 4.*
                    , test-invariant
                    , QuickCheck
                    , tasty
@@ -46,7 +47,7 @@
   default-language:  Haskell2010
 
 benchmark Criterion
-  build-depends:     base
+  build-depends:     base == 4.*
                    , test-invariant
                    , criterion
                    , QuickCheck