QuickCheck-safe-0.1.0.6: Safe reimplementation of QuickCheck's core