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