у него внутри не обязательно есть та очерёдность, которую ты пишешь снаружи, для него сложно определить понятие "начало" и "не начало", как можно было бы сделать в императивном подходе.
Как раз таки в монадическом коде порядок задаётся вполне себе строго. То есть в монадическом скрипте действия могут исполняться строго сверху вниз, если ты туда какой-то бэктрэкинг не впихнёшь.