> Types can't represent truth. Real world data doesn't have types. It changes incrementally however it wants, and all the time.

That's like saying "Maps can't represent truth". They're a model that works well enough, just like types do, if you do it right.