diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,3 +1,9 @@
+# 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-serialise.cabal b/exinst-serialise.cabal
--- a/exinst-serialise.cabal
+++ b/exinst-serialise.cabal
@@ -1,5 +1,5 @@
 name:                exinst-serialise
-version:             0.7.1
+version:             0.9
 author:              Renzo Carbonara
 maintainer:          renλren!zone
 copyright:           Renzo Carbonara 2015
@@ -8,7 +8,7 @@
 extra-source-files:  README.md CHANGELOG.md
 category:            Data
 build-type:          Simple
-cabal-version:       >=1.18
+cabal-version:       1.18
 synopsis:            Dependent pairs and their instances.
 homepage:            https://github.com/k0001/exinst
 bug-reports:         https://github.com/k0001/exinst/issues
@@ -22,7 +22,7 @@
       base >=4.9 && <5.0
     , serialise
     , constraints
-    , exinst >=0.7
+    , exinst >=0.9
     , singletons
   ghcjs-options: -Wall -O3
   ghc-options: -Wall -O2
@@ -36,6 +36,7 @@
      base
    , binary
    , exinst
+   , exinst-base
    , exinst-serialise
    , QuickCheck
    , serialise
diff --git a/lib/Exinst/Serialise.hs b/lib/Exinst/Serialise.hs
--- a/lib/Exinst/Serialise.hs
+++ b/lib/Exinst/Serialise.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
@@ -20,6 +20,7 @@
 import qualified Test.Tasty.QuickCheck as QC
 
 import Exinst
+import Exinst.Base ()
 import Exinst.Serialise ()
 
 --------------------------------------------------------------------------------