diff --git a/Stdlib/Trait/Applicative.juvix b/Stdlib/Trait/Applicative.juvix
index 966b87d1..ed461df7 100644
--- a/Stdlib/Trait/Applicative.juvix
+++ b/Stdlib/Trait/Applicative.juvix
@@ -13,6 +13,7 @@ type Applicative (f : Type -> Type) :=
 
 open Applicative public;
 
-syntax operator >> seq;
->> {f : Type -> Type} {{I : Applicative f}} {A B : Type} (fa : f A) (fb : f B) : f B :=
+--- Sequences computations.
+--- Note that this function will be renamed to >>> once IO becomses a polymorphic type and can be given an Applicative instance.
+applicativeSeq {f : Type -> Type} {{I : Applicative f}} {A B : Type} (fa : f A) (fb : f B) : f B :=
   ap (map λ {_ b := b} fa) fb;