Because it isn't for type checking, it is for validating data and producing a list of validation errors (not stopping at first error) Those are two things that

Because it isn't for type checking, it is for validating data and producing a list of validation errors (not stopping at first error) Those are two things that type checking won't give you.