diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,3 +1,6 @@
+# 0.4.4 [2020.03.25]
+* Allow `singletons-2.7`.
+
 # 0.4.3 [2019.08.27]
 * Allow `singletons-2.6`.
 
diff --git a/Data/Nat.hs b/Data/Nat.hs
--- a/Data/Nat.hs
+++ b/Data/Nat.hs
@@ -7,6 +7,9 @@
 #if __GLASGOW_HASKELL__ >= 806
 {-# LANGUAGE QuantifiedConstraints #-}
 #endif
+#if __GLASGOW_HASKELL__ >= 810
+{-# LANGUAGE StandaloneKindSignatures #-}
+#endif
 
 module Data.Nat (
     Nat(..)
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.3
+version:             0.4.4
 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.1
+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
 extra-source-files:  CHANGELOG.md, README.md
 
 source-repository head
@@ -26,7 +26,7 @@
 
   build-depends:
     base >=4.8.1.0 && <5,
-    singletons >= 2.2 && < 2.7
+    singletons >= 2.2 && < 2.8
 
   default-language:    Haskell2010
   ghc-options:         -Wall -Wno-unticked-promoted-constructors