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).