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