<div dir="ltr">Hello, libraries!<br><br>I want to present a proposal for changes in the `ghc-prim` library. <br><br>It solves the following issue: <br><br>    <a href="https://gitlab.haskell.org/ghc/ghc/-/issues/18252">https://gitlab.haskell.org/ghc/ghc/-/issues/18252</a><br><br>by adding an explicit fixity for the `(~)` type operator. <br>It is set equal to 4: <br><br>    infix 4 ~, ~~ <br><br>And there are two reasons for that: <br><br>1. These fixities are equal to the corresponding fixities of `(:~:)` and `(:~~:)`<br>2. They are less than `GHC.TypeLits.+` and expressions like `5 + 5 ~ 10` <br>    could be written without brackets. <br><br>Also, it looks like the change does not break anything and all existing tests are passed. <br><br>The patch is already implemented and could be seen by the following link: <br><br>    <a href="https://gitlab.haskell.org/ghc/ghc/-/merge_requests/3610">https://gitlab.haskell.org/ghc/ghc/-/merge_requests/3610</a><br><br>Also, I've updated documentation and added tests. <br>Welcome to discuss the change and its implementation. <br><div><br></div><div>Best regards, </div><div>Rinat Stryungis.</div></div>