This article seems a bit heavy on the computational monads.<p>Monads don&#x27;t necessarily have anything to do with sequencing or computation, and the author is objectively incorrect to say &quot;monads are a pattern, not a specific type&quot;. In fact, monads are an algebraic structure, defined only by the types of the operations defined on them and the laws those operations obey.<p>That&#x27;s not to say that concrete examples like the one here aren&#x27;t useful, but the author is not covering the full scope of what monads are.