Rethink fixity of the (:-|) operator from Lorentz.StoreClass
Clarification and motivation
(:-|)
operator is declared as infixr
, however, semantically it makes more sense to declare it as infixl
, as semantically it's a record field access operator. It works either way, as fields form a semigroup in this context, however infixl
seems at the very least slightly more efficient.
Unless there's a very good reason for infixr
, and it seems like there isn't, we should probably change it to infixl
.
Acceptance criteria
- The reason for
(:-|)
beinginfixr
is thoroughly investigated - It's changed to
infixl
if there isn't a strong argument for keeping it as is