Input                  Should be parsed as             Derived constraint
                                                       on precedence
--------------------------------------------------------------------------------
\lambda x.x y          ((\lambda x.x) y)               binder > apply
S x = y                  (= (S x) y)                   apply  > infix operators
--------------------------------------------------------------------------------

Precedence total order:

  binder > apply > infix operators