diff --git a/Data/Nat.hs b/Data/Nat.hs
--- a/Data/Nat.hs
+++ b/Data/Nat.hs
@@ -8,7 +8,6 @@
   , natPlus
   , natMul
   , 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.2.0.0
+version:             0.3.0.0
 synopsis:            Unary natural numbers relying on the singletons infrastructure.         
 license:             BSD3
 license-file:        LICENSE