diff --git a/ChangeLog b/ChangeLog
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2016-05-31  Facundo Domínguez  <facundo.dominguez@tweag.io>  0.3.3.0
+
+* Add compatibility with ghc-8.
+* Update bug report url in cabal file.
+
 2016-02-18  Facundo Domínguez  <facundo.dominguez@tweag.io>  0.3.2.0
 
 * Stop testing ghc-7.4 and test ghc-7.10.
diff --git a/rank1dynamic.cabal b/rank1dynamic.cabal
--- a/rank1dynamic.cabal
+++ b/rank1dynamic.cabal
@@ -1,5 +1,5 @@
 Name:                rank1dynamic
-Version:             0.3.2.0
+Version:             0.3.3.0
 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
@@ -9,7 +9,7 @@
 License-File:        LICENSE
 Author:              Edsko de Vries
 Maintainer:          Facundo Domínguez <facundo.dominguez@tweag.io>
-Bug-Reports:         https://cloud-haskell.atlassian.net/browse/RANKNDYN
+Bug-Reports:         https://github.com/haskell-distributed/rank1dynamic/issues
 Copyright:           Well-Typed LLP, Tweag I/O Limited
 Category:            Data
 Build-Type:          Simple
diff --git a/src/Data/Rank1Typeable.hs b/src/Data/Rank1Typeable.hs
--- a/src/Data/Rank1Typeable.hs
+++ b/src/Data/Rank1Typeable.hs
@@ -109,11 +109,10 @@
   , tyConModule
   , tyConName
   )
-#if MIN_VERSION_base(4,9,0)
-import Data.Typeable.Internal (tcList, tcFun)
-#else
-import Data.Typeable.Internal (listTc, funTc)
+#if MIN_VERSION_base(4,7,0)
+import Data.Proxy (Proxy(Proxy))
 #endif
+import qualified Data.Typeable.Internal as T
 import Data.Binary (Binary(get, put))
 import qualified Data.Typeable as Typeable
   ( TypeRep
@@ -122,11 +121,13 @@
   , mkTyConApp
   )
 
-
-#if !MIN_VERSION_base(4,9,0)
 tcList, tcFun :: TyCon
-tcList = listTc
-tcFun = funTc
+#if MIN_VERSION_base(4,7,0)
+tcList = T.typeRepTyCon (T.typeOf [()])
+tcFun = T.typeRepTyCon (T.typeRep (Proxy :: Proxy (->)))
+#else
+tcList = T.listTc
+tcFun = T.funTc
 #endif
 
 --------------------------------------------------------------------------------