Клеточные автоматы с помощью комонад

[@avarjo]

Для Bool

rule u = not (lx && cx && not rx || (lx==cx))

эквивалентно

rule u = lx /= cx

Что я упустил?

[@Hithroc]

Вы ничего не упустили, все именно так. Исправил в статье на lx /= cx, буду более внимательным в следующий раз.

[@Vitter]

Спасибо.
Комонады пока ещё не до конца поняты мною, и материал заслуживает внимательного прочтения!

[@graninas]

Прекрасный материал! Именно знаний о концепции зипперов, пожалуй, мне не хватало для пары задач.