diff --git a/rank1dynamic.cabal b/rank1dynamic.cabal
--- a/rank1dynamic.cabal
+++ b/rank1dynamic.cabal
@@ -1,5 +1,5 @@
 Name:                rank1dynamic
-Version:             0.1.0.0
+Version:             0.1.0.1
 Synopsis:            Like Data.Dynamic/Data.Typeable but with support for rank-1 polymorphic types
 Description:         "Data.Typeable" and "Data.Dynamic" only support monomorphic types. 
                      In this package we provide similar functionality but with
@@ -17,8 +17,8 @@
 Library
   Exposed-Modules:     Data.Rank1Dynamic,
                        Data.Rank1Typeable
-  Build-Depends:       base ==4.5.*,
-                       ghc-prim >= 0.2 && < 0.3,
+  Build-Depends:       base >= 4.4 && < 4.7,
+                       ghc-prim >= 0.2 && < 0.4,
                        binary >= 0.5 && < 0.6 
   HS-Source-Dirs:      src
   GHC-Options:         -Wall
diff --git a/src/Data/Rank1Typeable.hs b/src/Data/Rank1Typeable.hs
--- a/src/Data/Rank1Typeable.hs
+++ b/src/Data/Rank1Typeable.hs
@@ -101,8 +101,8 @@
 import Control.Applicative ((<$>))
 import Data.List (intersperse, isPrefixOf)
 import Data.Maybe (fromMaybe)
-import Data.Typeable (Typeable, tyConName, mkTyCon3)
-import Data.Typeable.Internal (listTc, funTc, TyCon(TyCon))
+import Data.Typeable (Typeable, mkTyCon3)
+import Data.Typeable.Internal (listTc, funTc, TyCon(TyCon), tyConName)
 import Data.Binary (Binary(get, put))
 import GHC.Fingerprint.Type (Fingerprint(..))
 import qualified Data.Typeable as Typeable