In the implementation that runs, yes, you have to choose something. However, I think the fundamental design is independent of those options, and probably should be developed independently.

There is surely some sense in which that's true; the choice of concurrency primitives, even among such radically different choices, won't change literally every design decision in your system. But it is very pervasive, and it regularly provokes failures that are visible to users.