diff --git a/CHANGES.txt b/CHANGES.txt
--- a/CHANGES.txt
+++ b/CHANGES.txt
@@ -1,5 +1,7 @@
 Changelog for Extra
 
+1.6.13, released 2018-10-14
+    #40, deprecate Data.List.Extra.for (clashes with Traversable)
 1.6.12, released 2018-09-24
     #39, add curry3/uncurry3
 1.6.11, released 2018-09-18
diff --git a/extra.cabal b/extra.cabal
--- a/extra.cabal
+++ b/extra.cabal
@@ -1,7 +1,7 @@
 cabal-version:      >= 1.18
 build-type:         Simple
 name:               extra
-version:            1.6.12
+version:            1.6.13
 license:            BSD3
 license-file:       LICENSE
 category:           Development
diff --git a/src/Data/List/Extra.hs b/src/Data/List/Extra.hs
--- a/src/Data/List/Extra.hs
+++ b/src/Data/List/Extra.hs
@@ -57,9 +57,10 @@
     where (b, as') = f as
 
 
--- | Flipped version of 'map'.
+-- | /DEPRECATED/ Use @flip map@ directly, since this function clashes with @Data.Traversable.for@.
 --
--- > for [1,2,3] (+1) == [2,3,4]
+--   Flipped version of 'map'.
+{-# DEPRECATED for "Use flip map directly, since this function clashes with Data.Traversable.for" #-}
 for :: [a] -> (a -> b) -> [b]
 for = flip map
 
diff --git a/test/TestGen.hs b/test/TestGen.hs
--- a/test/TestGen.hs
+++ b/test/TestGen.hs
@@ -71,7 +71,6 @@
     testGen "\\xs -> repeatedly (splitAt 3) xs  == chunksOf 3 xs" $ \xs -> repeatedly (splitAt 3) xs  == chunksOf 3 xs
     testGen "\\xs -> repeatedly word1 (trim xs) == words xs" $ \xs -> repeatedly word1 (trim xs) == words xs
     testGen "\\xs -> repeatedly line1 xs == lines xs" $ \xs -> repeatedly line1 xs == lines xs
-    testGen "for [1,2,3] (+1) == [2,3,4]" $ for [1,2,3] (+1) == [2,3,4]
     testGen "disjoint [1,2,3] [4,5] == True" $ disjoint [1,2,3] [4,5] == True
     testGen "disjoint [1,2,3] [4,1] == False" $ disjoint [1,2,3] [4,1] == False
     testGen "anySame [1,1,2] == True" $ anySame [1,1,2] == True
diff --git a/test/TestUtil.hs b/test/TestUtil.hs
--- a/test/TestUtil.hs
+++ b/test/TestUtil.hs
@@ -11,7 +11,6 @@
     ) where
 
 import Test.QuickCheck
-import Test.QuickCheck.Test
 import System.IO.Unsafe
 import Text.Show.Functions()
 
@@ -44,7 +43,9 @@
 testGen :: Testable prop => String -> prop -> IO ()
 testGen msg prop = testRaw msg $ do
     r <- quickCheckResult prop
-    unless (isSuccess r) $ error "Test failed"
+    case r of
+        Success{} -> return ()
+        _ -> errorIO "Test failed"
 
 testRaw :: String -> IO () -> IO ()
 testRaw msg test = do