It is about making higher level monads, with benefits in reusability. About monads: One very good explanation on the topic: http://blog.sigfpe.com/2006/08/you-

It is about making higher level monads, with benefits in reusability. About monads: One very good explanation on the topic: http://blog.sigfpe.com/2006/08/you-could-have-invented-monads-and.html http://blog.sigfpe.com/2006/08/you-could-have-invented-monad... Monads are (quote) elephants: http://james-iry.blogspot.com/2007/10/monads-are-elephants-part-3.html http://james-iry.blogspot.com/2007/10/monads-are-elephants-p... Monads can be implemented in OO languages, like ruby: http://moonbase.rydia.net/mental/writings/programming/monads-in-ruby/00introduction.html http://moonbase.rydia.net/mental/writings/programming/monads...