They don't need to use `coro::io_scheduler` directly, this would allow for a user executor to be used in its place.