A union type for validators that clearly separate input and output types.
The input type.
The output type.
A union type for validators that clearly separate input and output types.