Right. Things could be headed off early where the blog defines a monoid. The definition given is roughly what the average mathematician would call a monoid, bu

Right. Things could be headed off early where the blog defines a monoid. The definition given is roughly what the average mathematician would call a monoid, but a category theorist would complain saying that it only defines a monoid in the category of sets. But monads are not monoids in the category of sets. They are monoids in the category of endofunctors! So the blog post is going off the rails from here on.