properties package:lens-properties

A collection of properties that can be tested with QuickCheck, to guarantee that you are working with valid Lenses, Setters, Traversals, Isos and Prisms.
QuickCheck properties for lens QuickCheck properties for lens.