diff --git a/CHANGELOG.markdown b/CHANGELOG.markdown
--- a/CHANGELOG.markdown
+++ b/CHANGELOG.markdown
@@ -1,3 +1,7 @@
+0.7.1
+-----
+* Added `tagWith`.
+
 0.7
 ---
 * `Data.Proxy` has moved into base as of GHC 7.7 for use in the new `Data.Typeable`. We no longer export
diff --git a/src/Data/Tagged.hs b/src/Data/Tagged.hs
--- a/src/Data/Tagged.hs
+++ b/src/Data/Tagged.hs
@@ -33,6 +33,7 @@
     -- * Conversion
     , proxy
     , unproxy
+    , tagWith
     ) where
 
 import Control.Applicative ((<$>), liftA2, Applicative(..))
@@ -278,3 +279,8 @@
 unproxy :: (Proxy s -> a) -> Tagged s a
 unproxy f = Tagged (f Proxy)
 {-# INLINE unproxy #-}
+
+-- | Another way to convert a proxy to a tag.
+tagWith :: proxy s -> a -> Tagged s a
+tagWith _ = Tagged
+{-# INLINE tagWith #-}
diff --git a/tagged.cabal b/tagged.cabal
--- a/tagged.cabal
+++ b/tagged.cabal
@@ -1,5 +1,5 @@
 name:           tagged
-version:        0.7
+version:        0.7.1
 license:        BSD3
 license-file:   LICENSE
 author:         Edward A. Kmett