diff --git a/Data/Type/Natural.hs b/Data/Type/Natural.hs
--- a/Data/Type/Natural.hs
+++ b/Data/Type/Natural.hs
@@ -31,7 +31,7 @@
                           -- * Conversion functions
                           natToInt, intToNat, sNatToInt,
                           -- * Quasi quotes for natural numbers
-                          snat,
+                          nat, snat,
                           -- * Properties of natural numbers
                           IsPeano(..),
                           plusCong, plusCongR, plusCongL,
@@ -70,6 +70,7 @@
 import Data.Type.Natural.Definitions hiding (type (<=))
 import Data.Void
 import Language.Haskell.TH.Quote
+import Language.Haskell.TH           (conT, appT, conP, conE, appE)
 import Proof.Equational
 import Proof.Propositional           hiding (Not)
 
@@ -277,6 +278,16 @@
 --------------------------------------------------
 -- * Quasi Quoter
 --------------------------------------------------
+
+-- | Quotesi-quoter for 'Nat'. This can be used for an expression, pattern and type.
+--
+--   for example: @sing :: SNat ([nat| 2 |] :+ [nat| 5 |])@
+nat :: QuasiQuoter
+nat = QuasiQuoter { quoteExp = foldr appE (conE 'Z) . flip replicate (conE 'S) . read
+                  , quotePat = foldr (\a b -> conP a [b]) (conP 'Z []) . flip replicate 'S . read
+                  , quoteType = foldr appT (conT 'Z) . flip replicate (conT 'S) . read
+                  , quoteDec = error "not implemented"
+                  }
 
 -- | Quotesi-quoter for 'SNat'. This can be used for an expression.
 --
diff --git a/type-natural.cabal b/type-natural.cabal
--- a/type-natural.cabal
+++ b/type-natural.cabal
@@ -2,7 +2,7 @@
 -- documentation, see http://haskell.org/cabal/users-guide/
 
 name:                type-natural
-version:             0.8.1.0
+version:             0.8.2.0
 synopsis:            Type-level natural and proofs of their properties.
 description:         Type-level natural numbers and proofs of their properties.
                      .
@@ -18,7 +18,7 @@
 category:            Math
 build-type:          Simple
 cabal-version:       >= 1.10
-tested-with:         GHC == 8.0.2, GHC == 8.2.2, GHC == 8.4.1
+tested-with:         GHC == 8.0.2, GHC == 8.2.2, GHC == 8.4.3
 
 source-repository head
   Type: git