Writing C23 Macros to Feed an Addiction A monad is just a monoid in the category of endofunctors, what’s the problem?