Provided @Valid will be usable on type uses, too, this could be expressed like so:

Map<String, @Valid List<Foo>>.

For now we could add a HV-specific option for recursively following up nested collection values. Emmanuel Bernard, any thoughts?