diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,3 +1,7 @@
+4.0
+---
+* `semigroupoids` 4 compatibility
+
 3.0.1
 -----
 * Widened `semigroupoids` dependency bounds
diff --git a/monad-products.cabal b/monad-products.cabal
--- a/monad-products.cabal
+++ b/monad-products.cabal
@@ -1,6 +1,6 @@
 name:          monad-products
 category:      Control, Monads
-version:       3.0.1
+version:       4.0
 license:       BSD3
 cabal-version: >= 1.6
 license-file:  LICENSE
@@ -21,8 +21,8 @@
 
 library
   build-depends:
-    base          >= 4   && < 5,
-    semigroupoids >= 3.0 && < 4
+    base          >= 4 && < 5,
+    semigroupoids >= 4 && < 5
 
   exposed-modules:
     Control.Monad.Product