Где вы можете найти части спекулятивного выполнения в исходном коде монады?