Unde găsiți părțile de execuție speculativă în codul sursă al monadei?