9.3. QuickCheck

The QuickCheck library has been moved to the hierarchical libraries; it can be found in Debug.QuickCheck in the base package.