Traversal for Either that has focus in each Either.Right.
Traversal.Companion to make it statically available.
Traversal with source Either and focus every Either.Right of the source.