diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,3 +1,6 @@
+### 0.9.5 [2024.05.12]
+* Require `singletons-base-3.4` and GHC 9.10.
+
 ### 0.9.4 [2023.10.13]
 * Require `singletons-base-3.3` and GHC 9.8.
 
diff --git a/eliminators.cabal b/eliminators.cabal
--- a/eliminators.cabal
+++ b/eliminators.cabal
@@ -1,5 +1,5 @@
 name:                eliminators
-version:             0.9.4
+version:             0.9.5
 synopsis:            Dependently typed elimination functions using singletons
 description:         This library provides eliminators for inductive data types,
                      leveraging the power of the @singletons@ library to allow
@@ -16,7 +16,7 @@
 build-type:          Simple
 extra-source-files:  CHANGELOG.md, README.md
 cabal-version:       >=1.10
-tested-with:         GHC == 9.8.1
+tested-with:         GHC == 9.10.1
 
 source-repository head
   type:                git
@@ -30,14 +30,14 @@
                        Data.Eliminator.TH
                        Data.Eliminator.TypeLits
                        Data.Eliminator.TypeNats
-  build-depends:       base             >= 4.19  && < 4.20
+  build-depends:       base             >= 4.20  && < 4.21
                      , extra            >= 1.4.2 && < 1.8
-                     , singletons-base  >= 3.3   && < 3.4
+                     , singletons-base  >= 3.4   && < 3.5
                      , singleton-nats   >= 0.4.2 && < 0.5
-                     , template-haskell >= 2.21  && < 2.22
+                     , template-haskell >= 2.22  && < 2.23
                      , text             >= 2.0.1 && < 2.2
-                     , th-abstraction   >= 0.4   && < 0.7
-                     , th-desugar       >= 1.16  && < 1.17
+                     , th-abstraction   >= 0.4   && < 0.8
+                     , th-desugar       >= 1.17  && < 1.18
   hs-source-dirs:      src
   default-language:    GHC2021
   ghc-options:         -Wall -Wcompat -Wno-unticked-promoted-constructors -fenable-th-splice-warnings
@@ -58,10 +58,10 @@
                        PolyRecTypes
                        VecTypes
                        VecSpec
-  build-depends:       base            >= 4.19  && < 4.20
+  build-depends:       base            >= 4.20  && < 4.21
                      , eliminators
                      , hspec           >= 2     && < 3
-                     , singletons-base >= 3.3   && < 3.4
+                     , singletons-base >= 3.4   && < 3.5
                      , singleton-nats  >= 0.4.2 && < 0.5
   build-tool-depends:  hspec-discover:hspec-discover
   hs-source-dirs:      tests
diff --git a/tests/DecideTypes.hs b/tests/DecideTypes.hs
--- a/tests/DecideTypes.hs
+++ b/tests/DecideTypes.hs
@@ -1,6 +1,7 @@
 {-# LANGUAGE AllowAmbiguousTypes #-}
 {-# LANGUAGE DataKinds #-}
 {-# LANGUAGE TemplateHaskell #-}
+{-# LANGUAGE TypeAbstractions #-}
 {-# LANGUAGE TypeFamilies #-}
 {-# LANGUAGE UndecidableInstances #-}
 {-# OPTIONS_GHC -Wno-unused-foralls #-}
diff --git a/tests/EqualityTypes.hs b/tests/EqualityTypes.hs
--- a/tests/EqualityTypes.hs
+++ b/tests/EqualityTypes.hs
@@ -1,6 +1,7 @@
 {-# LANGUAGE AllowAmbiguousTypes #-}
 {-# LANGUAGE DataKinds #-}
 {-# LANGUAGE TemplateHaskell #-}
+{-# LANGUAGE TypeAbstractions #-}
 {-# LANGUAGE TypeFamilies #-}
 {-# LANGUAGE UndecidableInstances #-}
 {-# OPTIONS_GHC -Wno-orphans #-}
diff --git a/tests/GADTSpec.hs b/tests/GADTSpec.hs
--- a/tests/GADTSpec.hs
+++ b/tests/GADTSpec.hs
@@ -1,6 +1,7 @@
 {-# LANGUAGE AllowAmbiguousTypes #-}
 {-# LANGUAGE DataKinds #-}
 {-# LANGUAGE TemplateHaskell #-}
+{-# LANGUAGE TypeAbstractions #-}
 {-# LANGUAGE TypeFamilies #-}
 {-# LANGUAGE UndecidableInstances #-}
 module GADTSpec where
diff --git a/tests/ListTypes.hs b/tests/ListTypes.hs
--- a/tests/ListTypes.hs
+++ b/tests/ListTypes.hs
@@ -1,5 +1,6 @@
 {-# LANGUAGE DataKinds #-}
 {-# LANGUAGE TemplateHaskell #-}
+{-# LANGUAGE TypeAbstractions #-}
 {-# LANGUAGE TypeFamilies #-}
 {-# LANGUAGE UndecidableInstances #-}
 module ListTypes where
diff --git a/tests/PolyRecTypes.hs b/tests/PolyRecTypes.hs
--- a/tests/PolyRecTypes.hs
+++ b/tests/PolyRecTypes.hs
@@ -1,6 +1,7 @@
 {-# LANGUAGE AllowAmbiguousTypes #-}
 {-# LANGUAGE DataKinds #-}
 {-# LANGUAGE TemplateHaskell #-}
+{-# LANGUAGE TypeAbstractions #-}
 {-# LANGUAGE TypeFamilies #-}
 {-# LANGUAGE UndecidableInstances #-}
 module PolyRecTypes where
diff --git a/tests/VecTypes.hs b/tests/VecTypes.hs
--- a/tests/VecTypes.hs
+++ b/tests/VecTypes.hs
@@ -2,6 +2,7 @@
 {-# LANGUAGE DataKinds #-}
 {-# LANGUAGE NoStarIsType #-}
 {-# LANGUAGE TemplateHaskell #-}
+{-# LANGUAGE TypeAbstractions #-}
 {-# LANGUAGE TypeFamilies #-}
 {-# LANGUAGE UndecidableInstances #-}
 module VecTypes where