diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,3 +1,10 @@
+# Version 0.9
+
+* Builds with GHC 9.4.
+
+* Depends on `exinst>=0.9` and `exinst-base>=0.9`
+
+
 # Version 0.7.1
 
 * Builds with GHC 8.10.
diff --git a/exinst-aeson.cabal b/exinst-aeson.cabal
--- a/exinst-aeson.cabal
+++ b/exinst-aeson.cabal
@@ -1,5 +1,5 @@
 name:                exinst-aeson
-version:             0.7.1
+version:             0.9
 author:              Renzo Carbonara
 maintainer:          renλren!zone
 copyright:           Renzo Carbonara 2015
@@ -8,12 +8,11 @@
 extra-source-files:  README.md CHANGELOG.md
 category:            Data
 build-type:          Simple
-cabal-version:       >=1.18
-synopsis:            Dependent pairs and their instances.
+cabal-version:       1.18
+synopsis:            @exinst@ support for @aeson@ package.
 homepage:            https://github.com/k0001/exinst
 bug-reports:         https://github.com/k0001/exinst/issues
 
-
 library
   hs-source-dirs: lib
   default-language: Haskell2010
@@ -22,7 +21,7 @@
       aeson
     , base >=4.9 && <5.0
     , constraints
-    , exinst >= 0.7
+    , exinst >= 0.9
     , singletons
   ghcjs-options: -Wall -O3
   ghc-options: -Wall -O2
@@ -38,6 +37,7 @@
    , bytestring
    , exinst
    , exinst-aeson
+   , exinst-base
    , QuickCheck
    , tasty
    , tasty-quickcheck
diff --git a/lib/Exinst/Aeson.hs b/lib/Exinst/Aeson.hs
--- a/lib/Exinst/Aeson.hs
+++ b/lib/Exinst/Aeson.hs
@@ -1,4 +1,5 @@
 {-# LANGUAGE DataKinds #-}
+{-# LANGUAGE FlexibleContexts #-}
 {-# LANGUAGE PolyKinds #-}
 {-# LANGUAGE ScopedTypeVariables #-}
 {-# LANGUAGE TypeInType #-}
diff --git a/tests/Main.hs b/tests/Main.hs
--- a/tests/Main.hs
+++ b/tests/Main.hs
@@ -21,6 +21,7 @@
 
 import Exinst
 import Exinst.Aeson ()
+import Exinst.Base ()
 
 --------------------------------------------------------------------------------