A small part of me dies when you use that "A monad is just a monoid in the category of endofunctors, what's the problem?" joke in your slides. Please don't use it. A few reasons (thread):
It's usually presented as a joke: "Look how complicated this stuff is to learn". Except that it's not as hard as everyone thinks, it is eminently learnable, and this joke just scares people off. Why not spend your effort helping them understand instead?
People genuinely find these concepts (monads, etc) difficult to learn; this joke does not help them in any way, or shed any light on their situation; it hinders them. Why would you wish to hinder them? No one is forcing you to talk about monads if you don't want to
Understanding how to use & understand monads in a programming context in no way requires a sophisticated understanding of category theory, certainly not at the level of "monoids in the category of....". You are actively misleading beginners
The bonkers thing is that the "monoid in the category of endofunctors" concept is not even _that_ hard; I could explain it to you with pen and paper, and it is genuinely illuminating. But the joke presents it in a deliberately confusing and stupefying way, in a mocking tone
Damning quote from one our grads - note well: "I hope (this tweetstorm) clears up the uncertainty for others like I had when I first came across that quote and despaired of ever understanding what a monad is"
Lastly, it isn't even funny. You can do better
