A Flexible Type System for Fearless Concurrency Original article is at A Flexible Type System for Fearless Concurrency