Agents are monads (but not that kind)

I managed to write this without using the word endofunctor once. Wait, shit, I just did. Uhhh, oops!