Yes, we recurse with the first stopping when the second matches.

Sent from my iPhone

> On May 11, 2014, at 9:32 AM, Eric Mertens <notifications@github.com> wrote:
> 
> In src/Control/Lens/Traversal.hs:
> 
> > @@ -1199,3 +1200,19 @@ failing l r pafb s = case pins b of
> >    xs -> unsafeOuts b <$> traverse (corep pafb) xs
> >    where b = l sell s
> >  infixl 5 `failing`
> > +
> > +-- | Try the second traversal. If it returns no entries, try again with for all entries from the second traversal, recursively.
> Should one of these "second"s be a "first"?
> 
> —
> Reply to this email directly or view it on GitHub.