diff --git a/Data/Nat.hs b/Data/Nat.hs
--- a/Data/Nat.hs
+++ b/Data/Nat.hs
@@ -8,6 +8,7 @@
   , (Data.Nat.+)
   , (Data.Nat.*)
   , SNat
+  , Data.Singletons.Prelude.Sing(..)
   , (:*)
   , (:*$)
   , (:*$$)
diff --git a/singleton-nats.cabal b/singleton-nats.cabal
--- a/singleton-nats.cabal
+++ b/singleton-nats.cabal
@@ -1,6 +1,6 @@
 
 name:                singleton-nats
-version:             0.1.0.0
+version:             0.1.1.0
 synopsis:            Unary natural numbers relying on the singletons infrastructure.         
 license:             BSD3
 license-file:        LICENSE