New post: Concurrency Monad (Part 1)