S - это бесконечный поток событий. Все тот же самый data S a = S a (S a).

Состояние требуется, когда надо сделать схему с состоянием. ;)

Например, с памятью - мое первое ее применение. ;)