But (>>=) is a control flow abstraction, just like your for, while in imperative languages. We call it bind, but there's no pragmatic point in writing bind in

But (>>=) is a control flow abstraction, just like your for, while in imperative languages. We call it bind, but there's no pragmatic point in writing bind in it's infix form because of the prelevalence of the pattern. Would you rather have that, or (m `bind` f) `bind` g = m `bind` (\x -> (f x) `bind` g)