Description
Provides QuickCheck law-checking support for common typeclasses from Haskell's base library. It helps developers test whether their instances behave according to expected laws.
It is useful for libraries defining instances for Functor, Applicative, Monad, Semigroup, Monoid, and similar abstractions. It is a test support library and has no standalone interface.