nonEmptySet

Traversal for NonEmptySet that has focus in each A.

Receiver

PTraversal.Companion to make it statically available.

Return

Traversal with source NonEmptySet and focus every A of the source.