> you can never represent arbitrary real world data by matching types onto them.

I think that's why the article references the 'parse, don't validate' article: Real world data is messy and so you ingest it into your business logic at the system boundaries via parsing.