I learned that expressions are left associative while abstraction are right associative, however, while solving some examples i faced this problem. Succ 3 Succ 2 when i applied left associativety i got (Succ 3) Succ) 2 which was extremely long to solve. However, i saw this guy on the internet, he said that we should parse it as Succ (3 Succ 2) which is Succ ( Succ Succ Succ 2) and the result is 6. AND THE ANSWER IS RIGHT! So now i am confused, during execution, should use the left or the right rule??