diff --git a/.changeset/thin-moles-tell.md b/.changeset/thin-moles-tell.md
new file mode 100644
index 000000000..c744fe6ae
--- /dev/null
+++ b/.changeset/thin-moles-tell.md
@@ -0,0 +1,5 @@
+---
+"@fp-ts/core": patch
+---
+
+Semigroupal: remove useless zipWith export
diff --git a/src/Semigroupal.ts b/src/Semigroupal.ts
index 72c717d95..3d6791135 100644
--- a/src/Semigroupal.ts
+++ b/src/Semigroupal.ts
@@ -93,17 +93,6 @@ export const zip = <F extends TypeLambda>(Semigroupal: Semigroupal<F>) =>
     ): Kind<F, S, R1 & R2, O1 | O2, E1 | E2, readonly [A, B]> =>
       pipe(self, Semigroupal.zipWith(that, (a, b) => [a, b]))
 
-/**
- * Zips this effect with the specified effect using the
- * specified combiner function.
- *
- * @since 1.0.0
- */
-export const zipWith = <F extends TypeLambda>(Semigroupal: Semigroupal<F>) =>
-  <S, R2, O2, E2, B, A, C>(that: Kind<F, S, R2, O2, E2, B>, f: (a: A, b: B) => C) =>
-    <R1, O1, E1>(self: Kind<F, S, R1, O1, E1, A>): Kind<F, S, R1 & R2, O1 | O2, E1 | E2, C> =>
-      pipe(self, Semigroupal.zipWith(that, f))
-
 /**
  * Returns an effect that executes both this effect and the specified effect,
  * in parallel, this effect result returned. If either side fails, then the