Type-safe, composable asynchronous and concurrent programming for Scala