All about Monads document.