diff --git a/LICENSE b/LICENSE
--- a/LICENSE
+++ b/LICENSE
@@ -1,5 +1,6 @@
 Copyright (c) 2008, Scott E. Dillard
 Copyright (c) 2010, Gregory M. Crosswhite
+Copyright (c) 2012, Claude Heiland-Allen
 All rights reserved.
 
 Redistribution and use in source and binary forms, with or without modification,
diff --git a/TypeLevel/NaturalNumber.hs b/TypeLevel/NaturalNumber.hs
--- a/TypeLevel/NaturalNumber.hs
+++ b/TypeLevel/NaturalNumber.hs
@@ -71,12 +71,21 @@
 instance NaturalNumber Zero where
     naturalNumberAsInt _ = 0
 instance NaturalNumber n => NaturalNumber (SuccessorTo n) where
-    naturalNumberAsInt x = 1 + naturalNumberAsInt (predecessorOf x)
+    -- performance enhancing hoop jumping:
+    --   this convinces GHC that the function is constant
+    --   and so doesn't need to be recomputed every time
+    --   which gives a huge performance boost if used a lot
+    naturalNumberAsInt = self
+      where
+        self = const k
+        k = (1 +) $! naturalNumberAsInt (predecessorOf (undefined `asTypeIn` self))
+        asTypeIn :: a -> (a -> b) -> a
+        asTypeIn = const
 
 instance Show Zero where
     show _ = "0"
 instance NaturalNumber n => Show (SuccessorTo n) where
-    show = show . (+1) . naturalNumberAsInt . predecessorOf
+    show = show . naturalNumberAsInt
 
 instance Eq Zero where
     (==) _ _ = True
diff --git a/type-level-natural-number.cabal b/type-level-natural-number.cabal
--- a/type-level-natural-number.cabal
+++ b/type-level-natural-number.cabal
@@ -1,5 +1,5 @@
 Name:                type-level-natural-number
-Version:             1.1
+Version:             1.1.1
 License:             BSD3
 License-file:        LICENSE
 Author:              Gregory Crosswhite
@@ -11,7 +11,7 @@
                      non-Haskell 2010 language extensions have been split
                      into a separate package.
 		     .
-		     The difference between this package and the many
+                     The difference between this package and the many
                      others on Hackage implementing type-level
                      naturals is its emphasis on simplicity.  It only
                      supports non-negative natural numbers, and only
@@ -28,7 +28,10 @@
 		     .
                      Difference from 1.0:  Added instances for Typeable, and
                      word synonyms for N0...N15.
-Cabal-version:       >=1.2.3
+		     .
+                     Difference from 1.1:  Performance enhancements for
+                     naturalNumberAsInt.  Simplified Show implementation.
+Cabal-version:       >=1.6
 Build-type:          Simple
 Category:	     Type System,Data
 
@@ -36,3 +39,12 @@
     Build-depends:   base >= 3 && < 5
     Exposed-modules: TypeLevel.NaturalNumber
     Extensions:	     EmptyDataDecls
+
+source-repository head
+  type:                git
+  location:            git://github.com/gcross/type-level-natural-number.git
+
+source-repository this
+  type:                git
+  location:            git://github.com/gcross/type-level-natural-number.git
+  tag:                 1.1.1