Description
A Haskell testing support library that provides Hedgehog properties for checking typeclass laws. It helps developers verify that instances behave consistently for standard abstractions.
Use it when defining or maintaining typeclass instances. Law tests improve confidence, but domain-specific behavior still needs separate tests that describe how users depend on the type.