> I've long felt that type safety is largely a solution to a problem that doesn't really exist.

Sure, assuming you never have to evaluate, convert, merge or do anything with that data. Then you might have some issues when you have expectations on the behaviours of those actions.