diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,3 +1,6 @@
+# 0.4.7 [2023.10.13]
+* Allow building with `singletons-base-3.3`.
+
 # 0.4.6 [2021.03.12]
 * Allow building with `singletons-base`.
 
diff --git a/Data/Nat.hs b/Data/Nat.hs
--- a/Data/Nat.hs
+++ b/Data/Nat.hs
@@ -11,6 +11,10 @@
 {-# LANGUAGE StandaloneKindSignatures #-}
 #endif
 
+#ifndef MIN_VERSION_singletons_base
+# define MIN_VERSION_singletons_base(x,y,z) 0
+#endif
+
 module Data.Nat (
     Nat(..)
   , NatPlus
@@ -91,11 +95,13 @@
 deriving instance Show (SNat n)
 #endif
 
+#if !(MIN_VERSION_singletons_base(3,3,0))
 instance Eq (SNat n) where
   (==) _ _ = True
 
 instance Ord (SNat n) where
   compare _ _ = EQ
+#endif
 
 {-| Converts a runtime 'Integer' to an existentially wrapped 'Nat'. Returns 'Nothing' if
 the argument is negative -}
diff --git a/singleton-nats.cabal b/singleton-nats.cabal
--- a/singleton-nats.cabal
+++ b/singleton-nats.cabal
@@ -1,5 +1,5 @@
 name:                singleton-nats
-version:             0.4.6
+version:             0.4.7
 synopsis:            Unary natural numbers relying on the singletons infrastructure.
 description:         Unary natural number relying on the <https://hackage.haskell.org/package/singletons singletons> infrastructure. More information about the general usage of singletons can be found on the <https://github.com/goldfirere/singletons singletons github> page.
 category:            Data, Dependent Types
@@ -13,7 +13,7 @@
 
 build-type:          Simple
 cabal-version:       >=1.10
-tested-with:         GHC == 8.0.2, GHC == 8.2.2, GHC == 8.4.4, GHC == 8.6.5, GHC == 8.8.3, GHC == 8.10.1, GHC == 9.0.1
+tested-with:         GHC == 8.0.2, GHC == 8.2.2, GHC == 8.4.4, GHC == 8.6.5, GHC == 8.8.4, GHC == 8.10.7, GHC == 9.0.2, GHC == 9.2.8, GHC == 9.4.7, GHC == 9.6.3, GHC == 9.8.1
 extra-source-files:  CHANGELOG.md, README.md
 
 source-repository head
@@ -34,7 +34,7 @@
   if flag(singletons-3-0)
     build-depends:
       singletons      >= 3.0 && < 3.1,
-      singletons-base >= 3.0 && < 3.1
+      singletons-base >= 3.0 && < 3.4
   else
     build-depends:
       singletons >= 2.2 && < 2.8