diff --git a/CHANGELOG.markdown b/CHANGELOG.markdown
--- a/CHANGELOG.markdown
+++ b/CHANGELOG.markdown
@@ -1,3 +1,7 @@
+0.7.3
+---
+* Support `Data.Bifunctor` in `base` for GHC 7.9+.
+
 0.7.2
 -----
 * Fixed warning on GHC 7.8
diff --git a/src/Data/Tagged.hs b/src/Data/Tagged.hs
--- a/src/Data/Tagged.hs
+++ b/src/Data/Tagged.hs
@@ -38,6 +38,9 @@
 
 import Control.Applicative ((<$>), liftA2, Applicative(..))
 import Control.Monad (liftM)
+#if __GLASGOW_HASKELL__ >= 709
+import Data.Bifunctor
+#endif
 import Data.Traversable (Traversable(..))
 import Data.Foldable (Foldable(..))
 #ifdef __GLASGOW_HASKELL__
@@ -112,6 +115,13 @@
 instance Functor (Tagged s) where
     fmap f (Tagged x) = Tagged (f x)
     {-# INLINE fmap #-}
+
+#if __GLASGOW_HASKELL__ >= 709
+-- this instance is provided by the bifunctors package for GHC<7.9
+instance Bifunctor Tagged where
+    bimap _ g (Tagged b) = Tagged (g b)
+    {-# INLINE bimap #-}
+#endif
 
 instance Applicative (Tagged s) where
     pure = Tagged
diff --git a/tagged.cabal b/tagged.cabal
--- a/tagged.cabal
+++ b/tagged.cabal
@@ -1,5 +1,5 @@
 name:           tagged
-version:        0.7.2
+version:        0.7.3
 license:        BSD3
 license-file:   LICENSE
 author:         Edward A. Kmett