diff --git a/docs/modules/Magma.ts.md b/docs/modules/Magma.ts.md
index 5dcfa87d9..98652ea8b 100644
--- a/docs/modules/Magma.ts.md
+++ b/docs/modules/Magma.ts.md
@@ -8,6 +8,8 @@ parent: Modules
 
 A `Magma` is a pair `(A, concat)` in which `A` is a non-empty set and `concat` is a binary operation on `A`
 
+See [Semigroup](https://gcanti.github.io/fp-ts/modules/Semigroup.ts.html) for some instances.
+
 Added in v2.0.0
 
 ---
@@ -22,6 +24,8 @@ Added in v2.0.0
 
 A `Magma` is a pair `(A, concat)` in which `A` is a non-empty set and `concat` is a binary operation on `A`
 
+See [Semigroup](https://gcanti.github.io/fp-ts/modules/Semigroup.ts.html) for some instances.
+
 **Signature**
 
 ```ts
diff --git a/src/Magma.ts b/src/Magma.ts
index 2fac8319a..e4b4b116c 100644
--- a/src/Magma.ts
+++ b/src/Magma.ts
@@ -1,6 +1,8 @@
 /**
  * A `Magma` is a pair `(A, concat)` in which `A` is a non-empty set and `concat` is a binary operation on `A`
  *
+ * See [Semigroup](https://gcanti.github.io/fp-ts/modules/Semigroup.ts.html) for some instances.
+ *
  * @since 2.0.0
  */
 export interface Magma<A> {