diff --git a/quantification.cabal b/quantification.cabal
--- a/quantification.cabal
+++ b/quantification.cabal
@@ -1,6 +1,6 @@
 cabal-version: 2.4
 name: quantification
-version: 0.7.0
+version: 0.7.0.1
 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
@@ -22,10 +22,10 @@
     , base >= 4.11.1 && < 5
     , binary >= 0.8 && < 0.11
     , hashable >= 1.4 && < 1.5
-    , aeson >= 2.1 && < 2.2
-    , text >= 1.0 && < 2.1
+    , aeson >= 2.2 && < 2.3
+    , text >= 1.0 && < 2.2
     , path-pieces >= 0.2 && < 0.3
-    , vector >= 0.11 && < 0.13
+    , vector >= 0.11 && < 0.14
     , containers >= 0.5 && < 0.7
     , unordered-containers >= 0.2 && < 0.3
   default-language: Haskell2010
diff --git a/src/Data/Exists.hs b/src/Data/Exists.hs
--- a/src/Data/Exists.hs
+++ b/src/Data/Exists.hs
@@ -123,7 +123,8 @@
 import Data.Aeson (ToJSON(..),FromJSON(..))
 import Data.Aeson (ToJSONKey(..),FromJSONKey(..))
 import Data.Aeson (ToJSONKeyFunction(..),FromJSONKeyFunction(..))
-import Data.Aeson.Internal ((<?>),JSONPathElement(Key,Index))
+import Data.Aeson ((<?>))
+import Data.Aeson.Types (JSONPathElement(Key,Index))
 import Data.Binary (Get,Put,Binary)
 import Data.Binary.Lifted (Binary1(..))
 import Data.Coerce (coerce)
@@ -619,13 +620,13 @@
   appendForall (Compose x) (Compose y) = Compose (liftAppend appendForall x y)
 
 instance (Aeson.ToJSON1 f, ToJSONForall g) => ToJSONForall (Compose f g) where
-  toJSONForall (Compose x) = Aeson.liftToJSON toJSONForall (Aeson.toJSON . map toJSONForall) x
+  toJSONForall (Compose x) = Aeson.liftToJSON (\_ -> False) toJSONForall (Aeson.toJSON . map toJSONForall) x
 
 instance (Aeson.ToJSON1 f, ToJSONForeach g) => ToJSONForeach (Compose f g) where
-  toJSONForeach s (Compose x) = Aeson.liftToJSON (toJSONForeach s) (Aeson.toJSON . map (toJSONForeach s)) x
+  toJSONForeach s (Compose x) = Aeson.liftToJSON (\_ -> False) (toJSONForeach s) (Aeson.toJSON . map (toJSONForeach s)) x
 
 instance (Aeson.FromJSON1 f, FromJSONForeach g) => FromJSONForeach (Compose f g) where
-  parseJSONForeach s = fmap Compose . Aeson.liftParseJSON
+  parseJSONForeach s = fmap Compose . Aeson.liftParseJSON Nothing
     (parseJSONForeach s)
     (Aeson.withArray "Compose" (fmap V.toList . V.mapM (parseJSONForeach s)))
 
@@ -832,7 +833,7 @@
   parseJSONSing :: Aeson.Value -> Aeson.Parser (Exists (Sing :: k -> Type))
 
 instance (Aeson.FromJSON1 f, FromJSONForall g) => FromJSONForall (Compose f g) where
-  parseJSONForall s = fmap Compose . Aeson.liftParseJSON
+  parseJSONForall s = fmap Compose . Aeson.liftParseJSON Nothing
       (parseJSONForall s)
           (Aeson.withArray "Compose" (fmap V.toList . V.mapM (parseJSONForall s)))