Can you give me a concrete example of what difference it makes? If someone figures out a way to get the wrong tree here it will throw a nice match error identifying the tree. A match error is a nice concise way to say "unexpected tree".