Description
A Haskell testing library for checking properties of standard classes and data structures. It helps developers verify that instances follow expected algebraic laws and behavior.
Use it when writing or maintaining Haskell types with typeclass instances. Law checks improve confidence, but they complement rather than replace example-based and integration tests.