¿Dónde se encuentran las partes de ejecución especulativa en el código fuente de la mónada?