Precedence of type-level operators

a ': b ~ c ': d seems to be parsed as a ': (b ~ (c ': d)). This is kind of unfortunate; It seems to me that (~) having a lower precedence would make more sense, i.e. have it parse as (a ': b) ~ (c ': d).

What //are// the precedences of (~) and XDataKind-lifted operators? The userguide mentions precedences when discussing TypeOperators, but not in combination with DataKinds, or the type-equality-constraint.

Trac metadata

Trac field	Value
Version	8.2.1
Type	FeatureRequest
TypeOfFailure	OtherFailure
Priority	normal
Resolution	Unresolved
Component	Compiler
Test case
Differential revisions
BlockedBy
Related
Blocking
CC
Operating system
Architecture