diff --git a/CHANGELOG.md b/CHANGELOG.md
index 895a3ad3bd..5c9cc9037b 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -492,6 +492,11 @@ Additions to existing modules
   forever : IO ⊤ → IO ⊤
   ```
 
+* In `IO.Primitive.Core`:
+  ```agda
+  _>>_ : IO A → IO B → IO B
+  ```
+
 * In `Data.Word.Base`:
   ```agda
   _≤_ : Rel Word64 zero
diff --git a/src/IO/Primitive/Core.agda b/src/IO/Primitive/Core.agda
index 6fd22a03fb..04fba8c6f8 100644
--- a/src/IO/Primitive/Core.agda
+++ b/src/IO/Primitive/Core.agda
@@ -36,3 +36,6 @@ postulate
 -- Haskell-style alternative syntax
 return : A → IO A
 return = pure
+
+_>>_ : IO A → IO B → IO B
+a >> b = a >>= λ _ → b