diff --git a/Data/Nat.hs b/Data/Nat.hs
--- a/Data/Nat.hs
+++ b/Data/Nat.hs
@@ -2,7 +2,7 @@
   UndecidableInstances, ScopedTypeVariables, DataKinds,
   FlexibleInstances, GADTs, TypeFamilies, TemplateHaskell,
   InstanceSigs, TypeOperators, PolyKinds, StandaloneDeriving,
-  FlexibleContexts, AllowAmbiguousTypes #-}
+  FlexibleContexts, AllowAmbiguousTypes, CPP, OverloadedStrings #-}
 
 module Data.Nat (
     Nat(..)
@@ -17,7 +17,7 @@
   , SNat
   , Data.Singletons.Prelude.Sing(SS, SZ)
   , Data.Singletons.Prelude.PNum
-  , Data.Singletons.Prelude.SNum    
+  , Data.Singletons.Prelude.SNum
   , SSym0(..)
   , SSym1(..)
   , ZSym0(..)
@@ -28,7 +28,7 @@
 import Data.Singletons.TH
 import Data.Singletons.Prelude
 import Unsafe.Coerce
-import qualified GHC.TypeLits as Lit  
+import qualified GHC.TypeLits as Lit
 
 $(singletons [d|
   data Nat = Z | S Nat deriving (Eq, Show, Ord)
@@ -58,7 +58,11 @@
 instance Ord (SNat n) where
   compare _ _ = EQ
 
+#if MIN_VERSION_singletons(2,3,0)
+instance PNum Nat where
+#else
 instance PNum ('Proxy :: Proxy Nat) where
+#endif
   type a :+ b = NatPlus a b
   type a :- b = NatMinus a b
   type a :* b = NatMul a b
@@ -66,13 +70,13 @@
   type Signum (a :: Nat) = Error "Data.Nat: signum not implemented"
   type FromInteger (a :: Lit.Nat) = Lit a
 
-instance SNum Nat where  
+instance SNum Nat where
   (%:+) = sNatPlus
   (%:*) = sNatMul
   (%:-) = sNatMinus
-  sAbs  = sNatAbs  
+  sAbs  = sNatAbs
   sSignum = case toSing "Data.Nat: signum not implemented" of
-    SomeSing s -> sError s    
+    SomeSing s -> sError s
   sFromInteger n = case n %:== (sing :: Sing 0) of
     STrue  -> unsafeCoerce SZ
     SFalse -> unsafeCoerce (SS (sFromInteger (n %:- (sing :: Sing 1))))
@@ -107,4 +111,3 @@
 
 sLit :: forall (n :: Lit.Nat). SingI (Lit n) => Sing (Lit n)
 sLit = sing
-
diff --git a/singleton-nats.cabal b/singleton-nats.cabal
--- a/singleton-nats.cabal
+++ b/singleton-nats.cabal
@@ -1,8 +1,8 @@
 
 name:                singleton-nats
-version:             0.4.0.2
+version:             0.4.0.3
 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.                           
+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
 homepage:            https://github.com/AndrasKovacs/singleton-nats
 bug-reports:         https://github.com/AndrasKovacs/singleton-nats/issues
@@ -14,7 +14,7 @@
 
 build-type:          Simple
 cabal-version:       >=1.10
-tested-with:         GHC == 8.0.1
+tested-with:         GHC == 8.0.1, GHC == 8.2.1
 
 source-repository head
   type: git
@@ -26,6 +26,6 @@
 
   build-depends:
     base >=4.8.1.0 && <5,
-    singletons >= 2.2 && < 2.3
+    singletons >= 2.2 && < 2.4
 
   default-language:    Haskell2010