MONSIEUR JOURDAIN: Oh, really? So when I say: &quot;x := x+1&quot; and &quot;throw new Exception” is that monadic?<p>PHILOSOPHY MASTER: Most clearly.<p>MONSIEUR JOURDAIN: Well, what do you know about that! These forty years now I’ve been using monads in programming without knowing it!<p><pre><code>    -------------------------------
</code></pre>
With many apologies to Molière, many things are monadic including state and exceptions. Most programming languages introduce them as first-class core concepts rather than as monad instances. Hence you can use them innocently, without realising that they are monadic.