diff --git a/ChasingBottoms.cabal b/ChasingBottoms.cabal
--- a/ChasingBottoms.cabal
+++ b/ChasingBottoms.cabal
@@ -1,5 +1,5 @@
 name:               ChasingBottoms
-version:            1.3.0.2
+version:            1.3.0.3
 license:            OtherLicense
 license-file:       LICENCE
 copyright:          Copyright (c) Nils Anders Danielsson 2004-2011.
@@ -100,7 +100,7 @@
   the rest requires @Data.Generics@; @isBottom@ only requires
   exceptions, though.
 category:           Testing
-tested-with:        GHC == 7.2.1
+tested-with:        GHC == 7.4.1
 cabal-version:      >= 1.8
 build-type:         Simple
 
@@ -123,7 +123,7 @@
 
     build-depends: QuickCheck >= 2.1 && < 2.5,
                    mtl >= 1.1 && < 2.1,
-                   base >= 4.0 && < 4.5,
+                   base >= 4.0 && < 4.6,
                    containers >= 0.3 && < 0.5,
                    random == 1.0.*,
                    syb >= 0.1.0.2 && < 0.4
@@ -152,8 +152,8 @@
 
     build-depends: QuickCheck >= 2.1 && < 2.5,
                    mtl >= 1.1 && < 2.1,
-                   base >= 4.0 && < 4.5,
+                   base >= 4.0 && < 4.6,
                    containers >= 0.3 && < 0.5,
                    random == 1.0.*,
                    syb >= 0.1.0.2 && < 0.4,
-                   array == 0.3.*
+                   array >= 0.3 && < 0.5
diff --git a/Test/ChasingBottoms/IsType.hs b/Test/ChasingBottoms/IsType.hs
--- a/Test/ChasingBottoms/IsType.hs
+++ b/Test/ChasingBottoms/IsType.hs
@@ -32,7 +32,7 @@
 -- for debugging purposes anyway. The unit type is not considered to
 -- be a tuple.
 isTuple :: Typeable a => a -> Bool
-isTuple x = "(," `isPrefixOf` tyConString (con x)
+isTuple x = "(," `isPrefixOf` show (con x)
 
 isString :: Typeable a => a -> Bool
 isString x = isList x && typeRepArgs (typeOf x) == typeRepArgs (typeOf "")