@hackage checkers0.6.0

Check properties on standard classes and data structures.

checkers is a library for reusable QuickCheck properties, particularly for standard type classes (class laws and class morphisms). Checkers also has lots of support for randomly generating data values (thanks to Thomas Davie).