diff --git a/Type/Eq/Higher.hs b/Type/Eq/Higher.hs
--- a/Type/Eq/Higher.hs
+++ b/Type/Eq/Higher.hs
@@ -9,16 +9,10 @@
 -- |  Types and functions for storing and manipulating evidence of equality between types of higher kind.
 -- 
 --    Available up to @* -> * -> *@. Yell if you need more.
--- 
---    In GHC 7.8, this module uses @Data.OldTypeable@. Future uncertain.
 
 module Type.Eq.Higher (module Type.Eq, module Type.Eq.Higher) where
 
-#if __GLASGOW_HASKELL__ >= 707
-import Data.OldTypeable hiding (cast)
-#else
-import Data.Typeable hiding (cast)
-#endif
+import Data.Typeable (Typeable1, typeOf1, Typeable2, typeOf2)
 import Type.Eq
 import Type.Eq.Higher.Unsafe
 import Unsafe.Coerce
diff --git a/Type/Eq/Poly.hs b/Type/Eq/Poly.hs
--- a/Type/Eq/Poly.hs
+++ b/Type/Eq/Poly.hs
@@ -10,20 +10,12 @@
 -- | Kind-polymorphic functions for manipulating type equality evidence.
 -- 
 --   This module is available only if @PolyKinds@ are available (GHC 7.6+).
--- 
---   In GHC 7.8, this module uses @Data.OldTypeable@. Future uncertain.
--- 
---   For kind-polymorphic @Data.Typeable@, use 'dynamicEq' from the "Type.Eq" module.
 
 module Type.Eq.Poly (module Type.Eq, module Type.Eq.Poly) where
 
 import Control.Applicative ((<$>))
 import Control.Category ((.)) -- for haddock
-#if __GLASGOW_HASKELL__ >= 707
-import Data.OldTypeable hiding (cast)
-#else
-import Data.Typeable hiding (cast)
-#endif
+import Data.Typeable (Typeable1, typeOf1, Typeable2, typeOf2, Typeable3, typeOf3, Typeable4, typeOf4, Typeable5, typeOf5, Typeable6, typeOf6, Typeable7, typeOf7)
 import Type.Eq
 import Type.Eq.Higher ((::~::)(..), (:::~:::)(..), OuterEq1(..), InnerEq1(..))
 import Type.Eq.Unsafe
diff --git a/type-eq.cabal b/type-eq.cabal
--- a/type-eq.cabal
+++ b/type-eq.cabal
@@ -1,6 +1,6 @@
 name:          type-eq
 category:      Type System
-version:       0.4.2
+version:       0.5
 author:        Gábor Lehel
 maintainer:    Gábor Lehel <glaebhoerl@gmail.com>
 homepage:      http://github.com/glaebhoerl/type-eq
@@ -60,7 +60,7 @@
         FlexibleContexts
 
     build-depends:
-        base >= 3.0 && < 4.8
+        base >= 3.0 && < 4.9
 
     exposed-modules:
         Type.Eq
@@ -97,3 +97,4 @@
 
     ghc-options:
         -Wall
+