Use type validations to check consistency