Right, exactly. It's been said that (>>=) is a programmable semicolon.
Re:Asynchrony Is Not Concurrency
by singularity2001 on Friday July 18, 2025 @10:24PM
(#44612012)
or carrots return/new line For that matter
You could treat the semicolon as an operator, and just like multiplication over matrices, it's only commutative for a subset of the general type.