diff --git a/Data/Type/Natural.hs b/Data/Type/Natural.hs
--- a/Data/Type/Natural.hs
+++ b/Data/Type/Natural.hs
@@ -32,6 +32,7 @@
                           (:*$), (:*$$), (:*$$$),
 #endif
                           (%:*), (%*), (:-:), (:-),
+                          (:**:), (:**), (%:**), (%**),
 #if defined(__GLASGOW_HASKELL__) && __GLASGOW_HASKELL__ >= 708
                           (:-$), (:-$$), (:-$$$),
 #endif
diff --git a/Data/Type/Natural/Definitions.hs b/Data/Type/Natural/Definitions.hs
--- a/Data/Type/Natural/Definitions.hs
+++ b/Data/Type/Natural/Definitions.hs
@@ -69,6 +69,10 @@
  (*) :: Nat -> Nat -> Nat
  Z   * _ = Z
  S n * m = n * m + m
+
+ (**) :: Nat -> Nat -> Nat
+ n ** Z = S Z
+ n ** S m = (n ** m) * n
  |]
 
 infixl 6 :-:, %:-, -
@@ -90,6 +94,13 @@
 -- | Multiplication for singleton numbers.
 (%*) :: SNat n -> SNat m -> SNat (n :*: m)
 (%*) = (%:*)
+
+-- | Type-level exponentiation.
+type n :**: m = n :** m
+
+-- | Exponentiation for singleton numbers.
+(%**) :: SNat n -> SNat m -> SNat (n :**: m)
+(%**) = (%:**)
 
 singletons [d|
  zero, one, two, three, four, five, six, seven, eight, nine, ten :: Nat
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.2.3.1
+version:             0.2.3.2
 synopsis:            Type-level natural and proofs of their properties.
 description:         Type-level natural numbers and proofs of their properties.
 homepage:            https://github.com/konn/type-natural
@@ -30,4 +30,4 @@
   if impl(ghc < 7.8)
     build-depends:     singletons               == 0.8.*
   else
-    build-depends:     singletons               >= 1.0    && < 1.1
+    build-depends:     singletons               >= 1.0    && < 1.2