&gt;Even though it provides denotational semantics in the categorical setting for various side-effecting constructs the thing is inherently non-compositional.<p>You don&#x27;t know what this means.  Monads are precisely about composition.