Операторы.
Если вы путаетесь в приоритете операторов выражения Хаскеля, то авторы тоже путаются.
Поэтому практически все использования операторов сводятся к двум вариантам: правоассоциативный оператор наподобие : и левоассоциативный оператор наподобие + (<*>, например). Правость или левость определяется контекстом - конструируем списки (и типов тоже), идя справа, выражения считаем через подсчёт промежуточной суммы слева направо (вспомните шонфинкелинг). Если посреди строки + встретился другой оператор, то его приоритет выше.
Это грубо, хотя я читаю именно так.
Поэтому практически все использования операторов сводятся к двум вариантам: правоассоциативный оператор наподобие : и левоассоциативный оператор наподобие + (<*>, например). Правость или левость определяется контекстом - конструируем списки (и типов тоже), идя справа, выражения считаем через подсчёт промежуточной суммы слева направо (вспомните шонфинкелинг). Если посреди строки + встретился другой оператор, то его приоритет выше.
Это грубо, хотя я читаю именно так.