Yes. Many category theorists would find Moggi91 opaque. It could benefit from commentary and more detail than would be standard for a published paper, if the intention is to make the categorical semantics of functional programming with side effects accessible to a wide audience. I guess one could suss this out of Robert Harper's book on the foundations of programming languages, but I was thinking of something more direct.