diff --git a/quantification.cabal b/quantification.cabal
--- a/quantification.cabal
+++ b/quantification.cabal
@@ -1,6 +1,6 @@
 cabal-version: 2.0
 name: quantification
-version: 0.5.1
+version: 0.5.2
 synopsis: Rage against the quantification
 description: Data types and typeclasses to deal with universally and existentially quantified types
 homepage: https://github.com/andrewthad/quantification#readme
@@ -23,7 +23,7 @@
   build-depends:
       base >= 4.11.1 && < 5
     , binary >= 0.8 && < 0.10
-    , ghc-prim >= 0.5 && < 0.6
+    , ghc-prim >= 0.5 && < 0.7
     , hashable >= 1.2 && < 1.4
     , aeson >= 1.0 && < 1.5
     , text >= 1.0 && < 2.0
diff --git a/src/Data/Exists.hs b/src/Data/Exists.hs
--- a/src/Data/Exists.hs
+++ b/src/Data/Exists.hs
@@ -739,7 +739,7 @@
 instance EqSing a => EqSing [a] where
   eqSing = eqSingList
 
-eqSingList :: forall (a :: [k]) (b :: [k]). EqSing k => SingList a -> SingList b -> Maybe (a :~: b)
+eqSingList :: forall (k :: Type) (a :: [k]) (b :: [k]). EqSing k => SingList a -> SingList b -> Maybe (a :~: b)
 eqSingList SingListNil SingListNil = Just Refl
 eqSingList SingListNil (SingListCons _ _) = Nothing
 eqSingList (SingListCons _ _) SingListNil = Nothing
@@ -793,7 +793,7 @@
   SingMaybeJust :: Sing a -> SingMaybe ('Just a)
   SingMaybeNothing :: SingMaybe 'Nothing
 
-unreifyList :: forall (as :: [k]) b. Unreify k
+unreifyList :: forall (k :: Type) (as :: [k]) (b :: Type) . Unreify k
   => SingList as
   -> (Reify as => b)
   -> b