This optic is an error, has no use-cases. It is in the monocle library but should not be emulated. Side note: similarly for the "zip" operation (an error in optics and library design), though this has not been emulated in FJ.