Entendiendo las flechas en Haskell

He estado tratando de controlar las flechas ya que son la base de la mayoríaFRP implementaciones Creo que entiendo la idea básica: están relacionadas con las mónadas, pero almacenan información estática en cada operador de enlace para que pueda caminar a través de una cadena de flechas y mirar la información estática sin tener que evaluar la flecha completa.

Pero me pierdo en el punto en que comenzamos a discutir primero, segundo e intercambio. ¿Qué tienen que ver las tuplas 2 con las flechas? Los tutoriales presentan las cosas de la tupla como si fuera el siguiente paso obvio, pero realmente no veo la conexión.

Para el caso, ¿qué significa la sintaxis de flecha intuitivamente?