From 4b38d1af08288e80a29c84fe02a40ac925331f21 Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Wed, 27 Nov 2024 15:16:11 +0100
Subject: Monad improvements

---
 std/Generic/Monad.bruijn | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'std/Generic/Monad.bruijn')

diff --git a/std/Generic/Monad.bruijn b/std/Generic/Monad.bruijn
index 9e6c5d3..5373822 100644
--- a/std/Generic/Monad.bruijn
+++ b/std/Generic/Monad.bruijn
@@ -17,6 +17,10 @@ liftA3 [[[[(liftA2 3 2 1) <*> 0]]]] ⧗ (a → b → c → d) → (M a) → (M b
 
 …<*… liftA2 k ⧗ (M a) → (M b) → (M a)
 
+…=<<… \bind
+
+…>>… [[1 >>= [1]]] ⧗ (M a) → (M b) → (M b)
+
 # TODO: traverse, sequence
 # in parser: string = traverse char!
 
-- 
cgit v1.2.3