diff --git a/Language/Haskell/TH/ExpandSyns.hs b/Language/Haskell/TH/ExpandSyns.hs
--- a/Language/Haskell/TH/ExpandSyns.hs
+++ b/Language/Haskell/TH/ExpandSyns.hs
@@ -4,7 +4,8 @@
 module Language.Haskell.TH.ExpandSyns(-- * Expand synonyms
                                       expandSyns
                                       -- * Misc utilities
-                                     ,SubstTypeVariable(..)
+                                     ,substInType
+                                     ,substInCon
                                      ,evades,evade) where
     
 import Language.Haskell.TH hiding(cxt)
@@ -269,3 +270,13 @@
                   freshTyVarBndrs
                   (fmap (subst vt . doSubsts) cxt ) 
                   (     (subst vt . doSubsts) body)
+
+
+
+-- | Capture-free substitution
+substInType :: (Name,Type) -> Type -> Type
+substInType = subst
+
+-- | Capture-free substitution
+substInCon :: (Name,Type) -> Type -> Type
+substInCon = subst
diff --git a/th-expand-syns.cabal b/th-expand-syns.cabal
--- a/th-expand-syns.cabal
+++ b/th-expand-syns.cabal
@@ -1,5 +1,5 @@
 name:                th-expand-syns
-version:             0.2.0.0
+version:             0.3.0.0
 synopsis:            Expands type synonyms in Template Haskell ASTs
 description:         Expands type synonyms in Template Haskell ASTs
 category:            Template Haskell