diff --git a/singletons-default.cabal b/singletons-default.cabal
--- a/singletons-default.cabal
+++ b/singletons-default.cabal
@@ -5,7 +5,7 @@
 -- see: https://github.com/sol/hpack
 
 name:           singletons-default
-version:        0.1.0.1
+version:        0.1.0.2
 synopsis:       An optional type with type level default
 description:    dependently typed optional values with default
 category:       Data
diff --git a/src/Data/Default/Singletons.hs b/src/Data/Default/Singletons.hs
--- a/src/Data/Default/Singletons.hs
+++ b/src/Data/Default/Singletons.hs
@@ -104,13 +104,15 @@
   , optionally
   , definite
   , perhaps
-  , demote
     -- | Promoted Datakinds
   , Z (..)
   , Neg
   , Q (..)
   , SInteger (..)
   , SRational (..)
+    -- | Reexport Demote
+  , demote
+  , type Demote
   ) where
 
 import Control.Applicative