Di mana Anda menemukan bagian eksekusi spekulatif dalam kode sumber monad?