Na anotação de seta, você pode usar a palavra-chave rec para escrever definições recursivas. Então, por exemplo:

rec
    name <- function -< input
    input <- otherFunction -< name

Como isso pode ser avaliado? Parece que isso entraria em um loop infinito ou algo assim. Sei que ele avalia o combinador de setas em loop, mas também não entendo como isso funcion

EDIT: esse exemplo de poder é realmente útil. Como você escreveria isso com notação? Presumo que você precisaria usar rec.