Re: QuickCheck support in libraries