Types help verify you have done the necessary validation, assuming your validation library does type narrowing.