Just to make it clear: I completely understand your point and in fact I have edited the article. I noticed I said “prove that a Monad is a Monoid”, but in fact what I meant was “prove that given a Monad, we can see a Monoid”. Please give it another read and tell me if this correction is adequate. It may still be annoying to you from a CT perspective, but at least it shouldn’t be “wrong”.