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