Comment by throwanem

I'd love to see an explanation of monads that accurately captures their capabilities in terms no more complex than those required to do the same for promises.