> Making invalid data unrepresentable simplifies so much code

That's the dream. Error handling is what crushes it :)

Often invalid data it is still representable where you ingest it, but you can then do all the error handling there and convert to a representation where it isn't, instead of having all the code constantly sanity checking it. Not always possible but it can make a big improvement a lot of times.