Waar vind je de speculatieve uitvoeringsonderdelen in de monad-broncode?