diff --git a/quickcheck-transformer.cabal b/quickcheck-transformer.cabal
--- a/quickcheck-transformer.cabal
+++ b/quickcheck-transformer.cabal
@@ -1,6 +1,6 @@
 Cabal-Version: 2.2
 Name:          quickcheck-transformer
-Version:       0.3.1.2
+Version:       0.3.1.3
 Synopsis:      A GenT monad transformer for QuickCheck library.
 Description:
   A fork of QuickCheck-GenT that works for older GHC versions
@@ -18,7 +18,7 @@
 
 
 Source-Repository this
-  Tag:         0.3.1.2
+  Tag:         0.3.1.3
   Type:        darcs
   Location:    https://hub.darcs.net/thielema/quickcheck-transformer/
 
@@ -39,8 +39,8 @@
     Test.QuickCheck.GenT.Private
   Build-Depends:
     QuickCheck >=2.7 && <3,
-    random >=1.0 && <1.3,
+    random >=1.0 && <1.4,
     transformers >=0.5 && <0.7,
-    base >=4.3 && <5
+    base >=4.8 && <5
   Default-Language: Haskell2010
   GHC-Options: -Wall
diff --git a/src-fail/before-4.13/Test/QuickCheck/GenT/Private.hs b/src-fail/before-4.13/Test/QuickCheck/GenT/Private.hs
--- a/src-fail/before-4.13/Test/QuickCheck/GenT/Private.hs
+++ b/src-fail/before-4.13/Test/QuickCheck/GenT/Private.hs
@@ -15,7 +15,6 @@
   fmap f m = GenT $ \r n -> fmap f $ unGenT m r n
 
 instance (Monad m) => Monad (GenT m) where
-  return a = GenT (\_ _ -> return a)
   m >>= k = GenT $ \r n -> do
     let (r1, r2) = Random.split r
     a <- unGenT m r1 n
@@ -23,7 +22,7 @@
   fail msg = GenT (\_ _ -> fail msg)
 
 instance (Functor m, Monad m) => Applicative (GenT m) where
-  pure = return
+  pure a = GenT (\_ _ -> pure a)
   (<*>) = ap
 
 instance MonadTrans GenT where
diff --git a/src-fail/from-4.13/Test/QuickCheck/GenT/Private.hs b/src-fail/from-4.13/Test/QuickCheck/GenT/Private.hs
--- a/src-fail/from-4.13/Test/QuickCheck/GenT/Private.hs
+++ b/src-fail/from-4.13/Test/QuickCheck/GenT/Private.hs
@@ -14,7 +14,6 @@
   fmap f m = GenT $ \r n -> fmap f $ unGenT m r n
 
 instance (Monad m) => Monad (GenT m) where
-  return a = GenT (\_ _ -> return a)
   m >>= k = GenT $ \r n -> do
     let (r1, r2) = Random.split r
     a <- unGenT m r1 n
@@ -24,7 +23,7 @@
   fail msg = GenT (\_ _ -> fail msg)
 
 instance (Functor m, Monad m) => Applicative (GenT m) where
-  pure = return
+  pure a = GenT (\_ _ -> pure a)
   (<*>) = ap
 
 instance MonadTrans GenT where