Comment Comment by Garlef yes ~ one perspective is "a monad is an monoid in the (...) category of endofunctors"; the other perspective is "a monad is a kleisli category" parent Garlef 10 days ago