<div dir="auto">I'm trying to work out appropriate precedences for operators and pattern synonyms in my brand-new compact-sequences package. I currently have stacks and queues, but I will soon have deques, so let's pretend. For consistency, operators will match pattern synonyms.<div dir="auto"><br></div><div dir="auto">(<|), pattern (:<) :: a -> Deque a -> Deque a</div><div dir="auto"><span style="font-family:sans-serif">(|>), pattern (:>) :: Deque a -> a -> Deque a</span><br></div><div dir="auto"><span style="font-family:sans-serif"><br></span></div><div dir="auto"><font face="sans-serif">:< and :> need to have different precedence to allow things like</font></div><div dir="auto"><font face="sans-serif"><br></font></div><div dir="auto"><font face="sans-serif">  a :< b :< xs :> c :> d</font></div><div dir="auto"><font face="sans-serif"><br></font></div><div dir="auto"><font face="sans-serif">to work nicely, but what numbers should I pick?</font></div><div dir="auto"><span style="font-family:sans-serif"><br></span></div><div dir="auto"><span style="font-family:sans-serif">I also have cons and snoc functions. Should I give their backticked spellings fixity declarations? If so, with what precedences?</span></div></div>