From c299bbee3232c1edb300e5652f94ba03e1929891 Mon Sep 17 00:00:00 2001
From: Jan Mas Rovira <janmasrovira@gmail.com>
Date: Thu, 22 Aug 2024 15:22:06 +0200
Subject: [PATCH] Revert "add join"

This reverts commit a9bd82da6fbd2119a62746fae1a044c7b413d362.
---
 Stdlib/Trait/Monad.juvix | 6 ------
 1 file changed, 6 deletions(-)

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;
-  };