diff --git a/Stdlib/Trait/Monad.juvix b/Stdlib/Trait/Monad.juvix
index 4af983cf..8197b4b4 100644
--- a/Stdlib/Trait/Monad.juvix
+++ b/Stdlib/Trait/Monad.juvix
@@ -18,9 +18,3 @@ syntax operator >>= seq;
 
 syntax operator >=> seq;
 >=> {A B C} {f : Type -> Type} {{Monad f}} (h : A -> f B) (g : B -> f C) (a : A) : f C := h a >>= g;
-
-join {A} {f : Type -> Type} {{Monad f}} (x : f (f A)) : f A :=
-  do {
-    y <- x;
-    y;
-  };