Ah. The big deal is some languages can abstract over the idea of an arbitrary monad. You are correct though, most monads are not a big deal and fall into the &quot;oh neat that&#x27;s useful&quot; category, and not the &quot;omfg&quot; one.<p>The abstracting over them is pretty mind blowing though.