diff --git a/Data/Semigroup/Instances.hs b/Data/Semigroup/Instances.hs
--- a/Data/Semigroup/Instances.hs
+++ b/Data/Semigroup/Instances.hs
@@ -3,7 +3,6 @@
 
 import Data.FingerTree
 import Data.Semigroup
-import Data.Monoid
 
 instance Measured v a => Semigroup (FingerTree v a) where
   (<>) = mappend
diff --git a/Data/Semigroup/Reducer.hs b/Data/Semigroup/Reducer.hs
--- a/Data/Semigroup/Reducer.hs
+++ b/Data/Semigroup/Reducer.hs
@@ -24,7 +24,7 @@
 
 import Control.Applicative
 
-import Data.Monoid as Monoid
+import qualified Data.Monoid as Monoid
 import Data.Semigroup as Semigroup
 import Data.Semigroup.Foldable
 import Data.Semigroup.Instances ()
@@ -110,7 +110,7 @@
 
 instance Semigroup Count where
   Count a <> Count b = Count (a + b)
-  replicate1p n (Count a) = Count $ (fromIntegral n + 1) * a
+  times1p n (Count a) = Count $ (fromIntegral n + 1) * a
 
 instance Monoid Count where
   mempty = Count 0
diff --git a/Data/Semigroup/Self.hs b/Data/Semigroup/Self.hs
--- a/Data/Semigroup/Self.hs
+++ b/Data/Semigroup/Self.hs
@@ -23,7 +23,6 @@
     )  where
 
 import Control.Applicative
-import Data.Monoid (Monoid(..))
 import Data.Foldable
 import Data.Traversable
 import Data.Semigroup
diff --git a/Data/Semigroup/Union.hs b/Data/Semigroup/Union.hs
--- a/Data/Semigroup/Union.hs
+++ b/Data/Semigroup/Union.hs
@@ -37,7 +37,6 @@
 import Data.Functor
 import Data.Foldable
 import Data.Traversable
-import Data.Monoid
 import Data.Semigroup
 import Data.Semigroup.Foldable
 import Data.Semigroup.Traversable
diff --git a/reducers.cabal b/reducers.cabal
--- a/reducers.cabal
+++ b/reducers.cabal
@@ -1,6 +1,6 @@
 name:          reducers
 category:      Data, Math, Numerical, Semigroups
-version:       0.1.4
+version:       0.1.5
 license:       BSD3
 cabal-version: >= 1.6
 license-file:  LICENSE
@@ -33,9 +33,9 @@
     text                   >= 0.11.1.5 && < 0.12,
     parallel               >= 3.1      && < 3.2,
     unordered-containers   >= 0.1.4    && < 0.2,
-    semigroups             >= 0.7.1    && < 0.8,
+    semigroups             >= 0.8      && < 0.9,
     semigroupoids          >= 1.2.2.4  && < 1.3,
-    comonad                >= 1.1.1    && < 1.2,
+    comonad                >= 1.1.1.1  && < 1.2,
     pointed                >= 2.0      && < 2.1,
     keys                   >= 2.1      && < 2.2