yes ~ one perspective is "a monad is an monoid in the (...) category of endofunctors"; the other perspective is "a monad is a kleisli category"