diff --git a/open-typerep.cabal b/open-typerep.cabal
--- a/open-typerep.cabal
+++ b/open-typerep.cabal
@@ -1,5 +1,5 @@
 name:                open-typerep
-version:             0.1
+version:             0.2
 synopsis:            Open type representations and dynamic types
 description:         This package uses Data Types à la Carte to provide open type representations
                      and dynamic types/coercions for open type universes.
diff --git a/src/Data/TypeRep.hs b/src/Data/TypeRep.hs
--- a/src/Data/TypeRep.hs
+++ b/src/Data/TypeRep.hs
@@ -8,6 +8,7 @@
       -- * Type representations
     , Typeable
     , TypeRep
+    , typeRep
     , TypeEq
     , typeEq
     , matchCon