»
infix >>=
state.infix >>=
(f Unary (state state.T state.S) state.T)
=>
state state.T state.S[Redefinition of monad.infix >>=]
[Contains abstract features]
¶monadic operator
0.094dev (2025-06-18 15:08:51 GIT hash 89cffc23ae669b0898a5564fefbf793fcb8e5ca7 built by fridi@fzen)