Well, dark pools are a counter-HFT measure, of course they have limited price discovery. If you want price discovery, you can go to lit markets. If you want matching without showing your orders, you can put orders to the lit book algorithmically, or go to a dark pool. It's not that there is no choice. And people traded off-exchange like forever, OTC market still exists and predates exchanges.