diff --git a/checkers.cabal b/checkers.cabal
--- a/checkers.cabal
+++ b/checkers.cabal
@@ -1,5 +1,5 @@
 Name:                checkers
-Version:             0.2.4
+Version:             0.2.5
 Cabal-Version:       >= 1.2
 Synopsis:            Check properties on standard classes and data structures.
 Category:            Testing
@@ -26,7 +26,7 @@
 Library
   hs-Source-Dirs:      src
   Extensions:
-  Build-Depends:       base<=4, random, QuickCheck>=2.1.0.2, array >= 0.1
+  Build-Depends:       base < 4.3, random, QuickCheck>=2.1.0.2, array >= 0.1
   Exposed-Modules:     
                        Test.QuickCheck.Utils
                        Test.QuickCheck.Checkers
diff --git a/src/Test/QuickCheck/Checkers.hs b/src/Test/QuickCheck/Checkers.hs
--- a/src/Test/QuickCheck/Checkers.hs
+++ b/src/Test/QuickCheck/Checkers.hs
@@ -199,6 +199,12 @@
 instance (EqProp a, EqProp b) => EqProp (a,b) where
   (a,b) =-= (a',b') = a =-= a' .&. b =-= b'
 
+instance (EqProp a, EqProp b, EqProp c) => EqProp (a,b,c) where
+  (a,b,c) =-=(a',b',c') = a =-= a' .&. b =-= b' .&. c =-= c'
+
+instance (EqProp a, EqProp b, EqProp c, EqProp d) => EqProp (a,b,c,d) where
+  (a,b,c,d) =-=(a',b',c',d') = a =-= a' .&. b =-= b' .&. c =-= c' .&. d =-= d'
+
 -- Either
 instance (EqProp a, EqProp b) => EqProp (Either a b) where
   (Left x)  =-=  (Left x') = x =-= x'