An optic for representable functors (fixed-shape containers) that generalizes zipping.

Implemented in purescript-profunctor-lenses.