Typescript - generic rest parameter with constraints

Question

I have the following type for a "Validator Function":

type Validator = (value: V, props: P) => string | unde