A modular composable concurrency abstraction