Closing this; it would have been nice to have ValidatorContext defined in the suggested way from the get-go. But it seems not worth changing it now, as it only implies a small once-off effort for BV providers, whereas making the type a generic one now would potentially cause raw-type warnings to users.