Revert "add join"

This reverts commit a9bd82d.
anoma · Aug 29, 2024 · 363c481 · 363c481
1 parent a9bd82d
commit 363c481
Showing 1 changed file with 0 additions and 6 deletions.
diff --git 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;
-  };