Application should respect fixity, i.e. include `op` if necessary: ```ml val _ = op :: :: op - :: op :: :: op + ```
Application should respect fixity, i.e. include
opif necessary: