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-bytes.cabal b/exinst-bytes.cabal
--- a/exinst-bytes.cabal
+++ b/exinst-bytes.cabal
@@ -1,5 +1,5 @@
 name:                exinst-bytes
-version:             0.7.1
+version:             0.9
 author:              Renzo Carbonara
 maintainer:          renλren!zone
 copyright:           Renzo Carbonara 2015
@@ -8,8 +8,8 @@
 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 @bytes@ package.
 homepage:            https://github.com/k0001/exinst
 bug-reports:         https://github.com/k0001/exinst/issues
 
@@ -22,7 +22,7 @@
       base >=4.9 && <5.0
     , bytes
     , constraints
-    , exinst >=0.7
+    , exinst >=0.9
     , singletons
   ghcjs-options: -Wall -O3
   ghc-options: -Wall -O2
@@ -39,6 +39,7 @@
    , cereal
    , bytestring
    , exinst
+   , exinst-base
    , exinst-bytes
    , exinst-cereal
    , QuickCheck
diff --git a/lib/Exinst/Bytes.hs b/lib/Exinst/Bytes.hs
--- a/lib/Exinst/Bytes.hs
+++ b/lib/Exinst/Bytes.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
@@ -25,6 +25,7 @@
 import qualified Test.Tasty.QuickCheck as QC
 
 import Exinst
+import Exinst.Base ()
 import Exinst.Bytes ()
 import Exinst.Cereal ()