Хаскеллисты часто говорят, когда хотят подчеркнуть отсутствие времени и состояния в семантике их языка, что вот, мол имеем мир вне времени, а потом другой мир, тоже вне времени. Но если выйти из деревьев и увидеть лес, то мы увидим, что этот «мир» — не есть мир в обычном смысле, мир с процессами, это картинка мира. И мы имеем смену этих картинок, их чреду. А что это за чреда? Это чреда состояний. То есть, haskell-машина — это банальная FSM, не больше и не меньше. Это, BTW, я называю «видеть лес, а не деревья». Но некоторые предпочитают видеть деревья, или, как вариант, не могут выйти из леса. Их право.