Re[2]: QuickCheck support in libraries