Value validator.
A function that examines a value and returns a Trace describing any constraint violations:
The value type being validated
Value validator.
A function that examines a value and returns a Trace describing any constraint violations: