I don't see what even needs explanation. Really, monads are just a monoid object in an endofunctor category. [0] What's the problem? [1] [0] http://ncatlab.org

I don't see what even needs explanation. Really, monads are just a monoid object in an endofunctor category. [0] What's the problem? [1] [0] http://ncatlab.org/nlab/show/monoid#examples_6 http://ncatlab.org/nlab/show/monoid#examples_6 [1] http://james-iry.blogspot.com/2009/05/brief-incomplete-and-mostly-wrong.html http://james-iry.blogspot.com/2009/05/brief-incomplete-and-m...