Comment by ux266478

> 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.