Redundancy never hurt, right?

Variation on dpath_forall; found it handy for generalizing Flattening lemmata.