diff --git a/contravariant-extras.cabal b/contravariant-extras.cabal
--- a/contravariant-extras.cabal
+++ b/contravariant-extras.cabal
@@ -1,7 +1,7 @@
 name:
   contravariant-extras
 version:
-  0.3.3.1
+  0.3.4
 category:
   Control
 synopsis:
@@ -49,8 +49,10 @@
     Contravariant.Extras.Op
     Contravariant.Extras.Op.Contrazip
   build-depends:
+    base >= 4 && < 4.12,
     tuple-th >= 0.2.5 && < 0.3,
     template-haskell >= 2.8 && < 3,
     contravariant >= 1.3 && < 2,
-    base-prelude >= 0.1.19 && < 2
+    base-prelude >= 0.1.19 && < 2,
+    semigroups >= 0.8.4 && < 1
 
diff --git a/library/Contravariant/Extras.hs b/library/Contravariant/Extras.hs
--- a/library/Contravariant/Extras.hs
+++ b/library/Contravariant/Extras.hs
@@ -3,16 +3,25 @@
   -- |
   -- A berserk collection of @contrazip@ functions with arities of up to 42.
   module Contravariant.Extras.Contrazip,
+  (>*<),
   contramany,
   Supplied(..),
 )
 where
 
-import BasePrelude
+import BasePrelude hiding ((<>))
 import Contravariant.Extras.Contrazip
 import Data.Functor.Contravariant.Divisible
+import Data.Semigroup (Semigroup ((<>)))
 
 
+-- |
+-- An alias to 'divided'.
+{-# INLINE (>*<) #-}
+(>*<) :: Divisible f => f a -> f b -> f (a, b)
+(>*<) =
+  divided
+
 contramany :: Decidable f => f a -> f [a]
 contramany f =
   loop
@@ -37,10 +46,8 @@
 data Supplied divisible =
   forall input. Supplied !(divisible input) !input
 
-instance Divisible divisible => Monoid (Supplied divisible) where
-  mempty =
-    Supplied conquer ()
-  mappend (Supplied divisible1 input1) (Supplied divisible2 input2) =
+instance Divisible divisible => Semigroup (Supplied divisible) where
+  Supplied divisible1 input1 <> Supplied divisible2 input2 =
     Supplied divisible3 input3
     where
       divisible3 =
@@ -48,3 +55,8 @@
       input3 =
         (input1, input2)
 
+instance Divisible divisible => Monoid (Supplied divisible) where
+  mempty =
+    Supplied conquer ()
+  mappend =
+    (<>)