select all elements of a Fold_ except first n ones
drop longest prefix of elements of a Fold_ that satisfy a predicate
traverse elements of a Fold_ whose index satisfy a predicate
narrow the focus of a Fold_ to a single element
select the first n elements of a Fold_
take longest prefix of elements of a Fold_ that satisfy a predicate