infixl/infixr

ключевое слово было _локально_

Локально нельзя. И это хорошо :)

в хаскеле нельзя

это не просто не хорошо, это очень даже плохо. Потому что 2 слишком умных пакета могут стать несовместимы на уровне компилятора, и ты ничего с этим не сделаешь.

"Локально выставлять приоритеты", называется "расставить скобки"

оператор-то новый локально можно объявить

под "локально" имелось в виду в рамках одного модуля

все же под локально обычно понимается

let <вот здесь> in <или здесь>

Как у кастомного оператора выставить infixl/infixr?

Всё, понял, твой оператор infixr, поэтому у меня не компилировалось

я бы ещё вот что-то типа такого ввёл:
div0 nodes = div [] nodes

чтобы было вообще div0 <: div0 <: span0 <: text "foo"

Есть 2 пакета, в каждом объявлен (</>). Пока всё нормально. Теперь один из них меняет поведение через infixr 7 </>. Уже похуже, потому что это повлияло на поведение оператора из второго пакета. А если второй пакет хочет вернуть дефолтное поведение для своего оператора, например через infixl 9 </>, то будет конфликт при компиляции, причём такой, что по ошибке ты это даже не поймёшь и потеряешь день. Я считаю это большой проблемой и поводом для предостережения.

Аннотация фиксити возможна только там, где оператор определён же, не? В этом случае будет только конфликт имён, но не конфликт фиксити

с чего бы это влияло на оператор из другого пакета?

Может быть в Эльме и фиксити сделана не как у людей? :)

как в sml

так всё устроено. Хочешь верь, хочешь проверь. Лучше, конечно, проверь)