Jaki jest priorytet ~ i dlaczego?

Question

Poniższy fragment kompiluje:

{-# LANGUAGE TypeFamilies #-} 
type family Foo a b 

f :: (Foo a b ~ Int) => a -> b -> b 
f = error "" 

ale infix typu operatorzy wydają się zachowywać inaczej:

{-# LANGUAGE TypeFamilies #-} 
type family a \\ b 

f :: (a \\ b ~ Int) => a -> b -> b 
f = error "" 

GHC narzeka, że ​​drugi argument \\ powinien mieć miłą *, ale b ~ Int ma rodzaj Constraint . Oczywiście można to naprawić za pomocą paren, ale zastanawiam się, czy istnieje inny sposób.

Próbowałem ustawienie pierwszeństwo mojego operatora z deklaracją stałość infixl 9 \\, ale to nie rozwiązuje problemu, wskazując, że pierwszeństwo ~ jest at least 9 (jeśli mam interpretowania że poprawnie). Próbowałem użyć sztuczki z this answer, aby GHCi powiedział mi, że mam pierwszeństwo przed ~, ale to nie zadziałało.

Technicznie rzecz biorąc, ~ prawdopodobnie nie jest operatorem typu, to bardziej leksykalnym konstrukcji podobnej do ,, ale pytania nadal stoją:

1. Dlaczego operatorzy Infix i prefiks wykazują różne zachowanie?
2. Dlaczego ~ wiąże się tak mocno?
3. Czy jest coś, co mogę zrobić, aby moi operatorzy jeszcze bardziej się związali?

(Uwaga: This question prosi o pierwszeństwo funkcji typu, ale nie mówi nic o ~.)

Answer 1

~ nie jest operatorem, jest to słowo kluczowe, jak module lub case, więc Myślę, że możesz zmienić pierwszeństwo używając nawiasów.

Zobacz więcej tutaj: https://wiki.haskell.org/Keywords#.7E