You don’t need one. A monad is just a monoid in the category of endofunctors, what more is there to understand?