diff --git a/CHANGES.md b/CHANGES.md
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -1,6 +1,11 @@
 Changelog for singletons project
 ================================
 
+0.9.1
+-----
+
+Fix export list of Data.Singletons.TH.
+
 0.9.0
 -----
 
diff --git a/Data/Singletons/TH.hs b/Data/Singletons/TH.hs
--- a/Data/Singletons/TH.hs
+++ b/Data/Singletons/TH.hs
@@ -37,7 +37,7 @@
   -- | These definitions might be mentioned in code generated by Template Haskell,
   -- so they must be in scope.
   
-  type (==), If, sIf, (:&&), SEq(..), 
+  (:==), If, sIf, (:&&), SEq(..), 
   Any, 
   SDecide(..), (:~:)(..), Void, Refuted, Decision(..),
   KProxy(..), SomeSing(..)
diff --git a/README.md b/README.md
--- a/README.md
+++ b/README.md
@@ -1,4 +1,4 @@
-singletons 0.9.0
+singletons 0.9.1
 ================
 
 This is the README file for the singletons library. This file contains all the
@@ -158,29 +158,29 @@
 The singletons library has to produce new names for the new constructs it
 generates. Here are some examples showing how this is done:
 
-original datatype: `Nat`
-promoted kind: `Nat`
-singleton type: `SNat` (which is really a synonym for `Sing`)
+original datatype: `Nat`  
+promoted kind: `Nat`  
+singleton type: `SNat` (which is really a synonym for `Sing`)  
 
-original datatype: `:/\:`
-promoted kind: `:/\:`
-singleton type: `:%/\:`
+original datatype: `:/\:`  
+promoted kind: `:/\:`  
+singleton type: `:%/\:`  
 
-original constructor: `Zero`
-promoted type: `'Zero` (you can use `Zero` when unambiguous)
-singleton constructor: `SZero`
+original constructor: `Zero`  
+promoted type: `'Zero` (you can use `Zero` when unambiguous)  
+singleton constructor: `SZero`  
 
-original constructor: `:+:`
-promoted type: `':+:`
-singleton constructor: `:%+:`
+original constructor: `:+:`  
+promoted type: `':+:`  
+singleton constructor: `:%+:`  
 
-original value: `pred`
-promoted type: `Pred`
-singleton value: `sPred`
+original value: `pred`  
+promoted type: `Pred`  
+singleton value: `sPred`  
 
-original value: `+`
-promoted type: `:+`
-singleton value: `%:+`
+original value: `+`  
+promoted type: `:+`  
+singleton value: `%:+`  
 
 
 Special names
@@ -188,25 +188,25 @@
 
 There are some special cases:
 
-original datatype: `[]`
+original datatype: `[]`  
 singleton type: `SList`
 
-original constructor: `[]`
+original constructor: `[]`  
 singleton constructor: `SNil`
 
-original constructor: `:`
+original constructor: `:`  
 singleton constructor: `SCons`
 
-original datatype: `(,)`
+original datatype: `(,)`  
 singleton type: `STuple2`
 
-original constructor: `(,)`
+original constructor: `(,)`  
 singleton constructor: `STuple2`
 
 All tuples (including the 0-tuple, unit) are treated similarly.
 
-original value: `undefined`
-promoted type: `Any`
+original value: `undefined`  
+promoted type: `Any`  
 singleton value: `undefined`
 
 
diff --git a/singletons.cabal b/singletons.cabal
--- a/singletons.cabal
+++ b/singletons.cabal
@@ -1,5 +1,5 @@
 name:           singletons
-version:        0.9.0
+version:        0.9.1
 cabal-version:  >= 1.10
 synopsis:       A framework for generating singleton types
 homepage:       http://www.cis.upenn.edu/~eir/packages/singletons
@@ -27,7 +27,7 @@
 source-repository this
   type:     git
   location: https://github.com/goldfirere/singletons.git
-  tag:      v0.9.0
+  tag:      v0.9.1
 
 library
   build-depends: