Onde você encontra as partes de execução especulativa no código-fonte do monad?