Hayekian Prediction Markets? — LessWrong