The idea is to stay consistent with base fixities. At the moment, only $ & :> <= < > >= == /= && || have a fixity declaration in linear-base.