2 ms·

So an agent is just a monoid in the category of monads ?