Де ви знаходите спекулятивні частини виконання у вихідному коді монади?