paragraphIndexLens :: Lens.Lens (IndexedP ((x, ParagraphIndex, y, z), p)) (IndexedP ((x, b, y, z), p)) ParagraphIndex b
paragraphIndexLens = basicLens . Lens._1 . Lens._2
paragraphIndexLens :: Lens.Lens (IndexedP ((x, ParagraphIndex, y, z), p)) (IndexedP ((x, b, y, z), p)) ParagraphIndex b
paragraphIndexLens = basicLens . Lens._1 . Lens._2
paragraphIndexLens = basicLens . Lens._1 . Lens._2