**checkers** is a library for reusable QuickCheck properties, particularly for standard type classes (class laws and [class morphisms](http://conal.net/papers/type-class-morphisms)).
Checkers also has lots of support for randomly generating data values (thanks to Thomas Davie).