Où trouvez-vous les parties d'exécution spéculative dans le code source de la monade ?