'assuming' is a more flexible maybe - but not sure about the name.
State 'only' in terms of each and 'assuming'.
Throw an error if 'view-single' encounters no foci.
Rename the lens that takes a condition to 'conditionally'.
'applies?' is a more concise name for a predicate than 'applicable?'.