As @robrix pointed out, adding explicit parenthesis nodes to our ASTs bloats them with no added gain in expressivity. A pretty-printing solution should use something analogous to `showsPrec` to ensure that parentheses are printed properly.