Honest question: if the different list lengths are relevant to the business and they are not in the types, where do you think they go? They surely don't disapp

Honest question: if the different list lengths are relevant to the business and they are not in the types, where do you think they go? They surely don't disappear, just like type errors and bugs don't disappear in dynamically typed languages. No, it's just that instead of in the code they are now in your head (but not your coworkers head). Is this really better?