task monad, additional article, eng
monads, p 6, draft
monads, p 7, draft