> The point is to parse the input into a structure which always upholds the predicates you care about so you don't end up continuously defensively programming in ifs and asserts.

While the article is titled "parse don't validate" I like it's first point of make illegal states unrepresentable much better.