@@ -11,11 +11,6 @@ This library uses `GHC.Generics` to derive efficient optics (traversals, lenses
1111and prisms) for algebraic data types in a type-directed way, with a focus on
1212good type inference and error messages when possible.
1313
14−This package uses the GHC 8 `Generic` representation to derive various operations
15−on data structures with lens interfaces, including structural subtype
16−relationships between records and positional indexing into arbitrary product
17−types.
18−
1914The derived optics use the so-called van Laarhoven representation, thus are
2015fully interoperable with the combinators found in mainstream lens libraries.
2116