Expressions

Because it is difficult for parsers to distinguish patterns from
expressions, they typically parse them in the same way and then check
that they have the appropriate form. Hence the expression type
includes some forms that are found only in patterns. After these
checks, these constructors should not be used.

The parser does not take precedence and associativity into account,
so it will leave HsInfixApps associated to the left.