support recursive validators that have other recursive validators o_O
the reverse of is_empty is...
safer deduction of items that must_be_validated