> A Monad is an object whose methods return monads. Is a truly terrible "definition". It is not a constructive definition. You can't implement anything with th

> A Monad is an object whose methods return monads. Is a truly terrible "definition". It is not a constructive definition. You can't implement anything with this. Mostly this article is about combinator libraries -- where bind is function application. Nothing to do with monadic bind.