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.