Interesting claim that a discussion of Kleisli categories isn't the place to get into a discussion of monads, since they're identical. I do think Kleisli categ

Interesting claim that a discussion of Kleisli categories isn't the place to get into a discussion of monads, since they're identical. I do think Kleisli categories are a better way to explain the benefit, though.