> All they need to care about is that they've eliminated a source of inefficiency, and thus have extra money for either investment or different consumption.

...or prices rise to balance out the extra money.