Haskell has strong monads, missed this in the article.

It makes Haskell even more procedural, you can use intermediate variables in do blocks.

http://blog.sigfpe.com/2023/08/what-does-it-mean-for-monad-t...