Я пытался справиться со стрелами, так как они являются основой большинстваFRP Реализации. Я думаю, что понимаю основную идею - они связаны с монадами, но хранят статическую информацию по каждому оператору связывания, чтобы вы могли пройти по цепочке стрелок и посмотреть на статическую информацию без необходимости оценивать всю стрелку.

Но я заблудился в момент, когда мы начинаем обсуждать первый, второй и своп. Какое отношение имеет 2-кортеж со стрелками? Учебники представляют материал кортежа, как будто это был очевидный следующий шаг, но я не вижу связи.

В этом отношении, что означает синтаксис стрелки интуитивно?