diff --git a/Data/Proxy.hs b/Data/Proxy.hs
--- a/Data/Proxy.hs
+++ b/Data/Proxy.hs
@@ -25,7 +25,6 @@
 import Control.Applicative (Applicative(..))
 import Data.Traversable (Traversable(..))
 import Data.Foldable (Foldable(..))
-import Data.Monoid (Monoid(..))
 import Data.Default (Default(..))
 import Data.Data (Data,Typeable)
 import Data.Ix (Ix(..))
diff --git a/tagged.cabal b/tagged.cabal
--- a/tagged.cabal
+++ b/tagged.cabal
@@ -1,5 +1,5 @@
 name:           tagged
-version:        0.2.2.3
+version:        0.2.3
 license:        BSD3
 license-file:   LICENSE
 author:         Edward A. Kmett
@@ -28,7 +28,7 @@
   build-depends: 
     base >= 4 && < 5,
     data-default >= 0.2 && < 3,
-    semigroups >= 0.7.1 && < 0.8
+    semigroups >= 0.8 && < 0.9
   exposed-modules:
     Data.Tagged
     Data.Proxy