diff --git a/quickspec.cabal b/quickspec.cabal
--- a/quickspec.cabal
+++ b/quickspec.cabal
@@ -1,5 +1,5 @@
 Name:                quickspec
-Version:             2.1.3
+Version:             2.1.4
 Cabal-version:       >= 1.10
 Build-type:          Simple
 
diff --git a/src/QuickSpec/Internal/Explore/Conditionals.hs b/src/QuickSpec/Internal/Explore/Conditionals.hs
--- a/src/QuickSpec/Internal/Explore/Conditionals.hs
+++ b/src/QuickSpec/Internal/Explore/Conditionals.hs
@@ -19,7 +19,7 @@
 import QuickSpec.Internal.Testing
 import QuickSpec.Internal.Terminal
 import QuickSpec.Internal.Utils
-import QuickSpec.Internal.Explore.Polymorphic hiding (Normal)
+import QuickSpec.Internal.Explore.Polymorphic
 import qualified Twee.Base as Twee
 import Data.List
 import Control.Monad
diff --git a/src/QuickSpec/Internal/Pruning.hs b/src/QuickSpec/Internal/Pruning.hs
--- a/src/QuickSpec/Internal/Pruning.hs
+++ b/src/QuickSpec/Internal/Pruning.hs
@@ -5,7 +5,6 @@
 
 import QuickSpec.Internal.Prop
 import QuickSpec.Internal.Testing
-import Control.Monad
 import Control.Monad.Trans.Class
 import Control.Monad.IO.Class
 import Control.Monad.Trans.State.Strict
diff --git a/src/QuickSpec/Internal/Testing/QuickCheck.hs b/src/QuickSpec/Internal/Testing/QuickCheck.hs
--- a/src/QuickSpec/Internal/Testing/QuickCheck.hs
+++ b/src/QuickSpec/Internal/Testing/QuickCheck.hs
@@ -14,7 +14,7 @@
 import Control.Monad.Trans.Class
 import Control.Monad.Trans.Reader
 import Data.List
-import System.Random
+import System.Random hiding (uniform)
 import QuickSpec.Internal.Terminal
 import Data.Lens.Light