@hackage / checkers

Check properties on standard classes and data structures.