It completely eliminates a class of runtime errors from your code, while also allowing all code that consumes the data to make assumptions about the data.

In the untyped code you must validate everywhere you access the data or trust that someone above you already validated it (which can break silently with any future modification).