Hvor finner du de spekulative utførelsesdelene i monadekildekoden?