diff --git a/src/Data/IsTy.hs b/src/Data/IsTy.hs
--- a/src/Data/IsTy.hs
+++ b/src/Data/IsTy.hs
@@ -16,7 +16,7 @@
 
 module Data.IsTy (IsTy(..),IsTy2(..),Yes,Yes2) where
 
-import GHC.Prim (Constraint)
+import GHC.Exts (Constraint)
 
 import Data.Proof.EQ ((:=:))
 
diff --git a/ty.cabal b/ty.cabal
--- a/ty.cabal
+++ b/ty.cabal
@@ -1,5 +1,5 @@
 Name:                ty
-Version:             0.1.6
+Version:             0.1.7
 Synopsis:            Typed type representations and equality proofs
 Category:            Data
 Cabal-Version:       >= 1.6