> and showed how computations could be expressed in Haskell with the “do notation” as an example To be clear, do notation is new special syntax that was added

> and showed how computations could be expressed in Haskell with the “do notation” as an example To be clear, do notation is new special syntax that was added to make monads more ergonomic. Traditionally you used >> or >>=, which looks a lot more like closures.