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

Для Bool

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

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

rule u = lx /= cx

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