diff --git a/QuickCheck.cabal b/QuickCheck.cabal
--- a/QuickCheck.cabal
+++ b/QuickCheck.cabal
@@ -1,5 +1,5 @@
 Name: QuickCheck
-Version: 2.12.4
+Version: 2.12.5
 Cabal-Version: >= 1.8
 Build-type: Simple
 License: BSD3
@@ -55,7 +55,7 @@
 source-repository this
   type:     git
   location: https://github.com/nick8325/quickcheck
-  tag:      2.12.4
+  tag:      2.12.5
 
 flag templateHaskell
   Description: Build Test.QuickCheck.All, which uses Template Haskell.
diff --git a/Test/QuickCheck.hs b/Test/QuickCheck.hs
--- a/Test/QuickCheck.hs
+++ b/Test/QuickCheck.hs
@@ -45,6 +45,7 @@
   , quickCheckWith
   , quickCheckWithResult
   , quickCheckResult
+  , isSuccess
     -- ** Running tests verbosely
   , verboseCheck
   , verboseCheckWith
@@ -171,8 +172,8 @@
   , functionBoundedEnum
 
     -- * The 'CoArbitrary' typeclass: generation of functions the old-fashioned way
-#ifndef NO_GENERICS
   , CoArbitrary(..)
+#ifndef NO_GENERICS
   , genericCoarbitrary
 #endif
   , variant
diff --git a/Test/QuickCheck/Gen.hs b/Test/QuickCheck/Gen.hs
--- a/Test/QuickCheck/Gen.hs
+++ b/Test/QuickCheck/Gen.hs
@@ -1,9 +1,12 @@
-{-# OPTIONS_HADDOCK hide #-}
 {-# LANGUAGE CPP #-}
 #ifndef NO_ST_MONAD
 {-# LANGUAGE Rank2Types #-}
 #endif
 -- | Test case generation.
+--
+-- __Note__: the contents of this module (except for the definition of
+-- 'Gen') are re-exported by "Test.QuickCheck". You probably do not
+-- need to import it directly.
 module Test.QuickCheck.Gen where
 
 --------------------------------------------------------------------------