@@ -11,11 +11,6 @@ This library uses `GHC.Generics` to derive efficient optics (traversals, lenses
11and prisms) for algebraic data types in a type-directed way, with a focus on
11and prisms) for algebraic data types in a type-directed way, with a focus on
12good type inference and error messages when possible.
12good type inference and error messages when possible.
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
19The derived optics use the so-called van Laarhoven representation, thus are
14The derived optics use the so-called van Laarhoven representation, thus are
20fully interoperable with the combinators found in mainstream lens libraries.
15fully interoperable with the combinators found in mainstream lens libraries.