A base type representing any kind of validator, either distinguishing between input/output types or not.