В стрелке обозначить, вы можете использовать ключевое слово rec для записи рекурсивных определений. Так, например:
rec
name <- function -< input
input <- otherFunction -< name
Как это можно оценить? Похоже, он просто входил в бесконечный цикл или что-то в этом роде. Я знаю, что он оценивает комбинатор стрелок, но я не понимаю, как это работает.
EDIT: этот пример полномочий действительно полезен. Как бы вы написали это с обозначениями? Я предполагаю, что вам нужно будет использовать rec.