Description
Provides common typeclasses for testing with QuickCheck. These classes help test whether data types obey expected laws and behaviors across generated inputs.
It is useful for library authors who want reusable law checks for typeclass instances. It is a testing support library and is normally used inside automated test suites.