Kde najdete části spekulativní exekuce ve zdrojovém kódu monády?