Update post: Concurrency Monad (Part 1)