Assume left-associativity and omit superfluous parentheses

[chrismwendt]

For example:

• (K K) could be written K K
• ((K K) (K K)) could be written K K (K K)

[chrismwendt]

Parentheses are required for applications: (K K) cannot be written K K