generic-optics (hackage): Generically derive traversals, lenses, and prisms.
Keywords: bsd3|generics|lens|library|records|lenses|optics|traversals|type-level-programming