Зависит от #1 в части ADT. Надо: * представление состояния * уметь изменять состояние в соответствии с командой и правилами Т.е. надо что-то типа `eval :: [Command] -> State -> State`.
Зависит от #1 в части ADT.
Надо:
Т.е. надо что-то типа
eval :: [Command] -> State -> State.