diff --git a/data/Default.hs b/data/Default.hs
--- a/data/Default.hs
+++ b/data/Default.hs
@@ -212,8 +212,8 @@
 warn = fmap (const ()) ==> void
 error = flip (>=>) ==> (<=<)
 error = flip (<=<) ==> (>=>)
-error = (\x -> f x >>= g) ==> f Control.Monad.>=> g
-error = (\x -> f =<< g x) ==> f Control.Monad.<=< g
+error = (\x -> f x >>= g) ==> f Control.Monad.>=> g where _ = notIn x [f,g]
+error = (\x -> f =<< g x) ==> f Control.Monad.<=< g where _ = notIn x [f,g]
 error = a >> forever a ==> forever a
 warn = liftM2 id ==> ap
 
@@ -474,6 +474,7 @@
 h x y = return $! x
 getInt = do { x <- readIO "0"; return $! (x :: Int) }
 foo = evaluate [12] -- return [12]
+test = \ a -> f a >>= \ b -> return (a, b)
 
 import Prelude \
 yes = flip mapM -- Control.Monad.forM
diff --git a/hlint.cabal b/hlint.cabal
--- a/hlint.cabal
+++ b/hlint.cabal
@@ -1,7 +1,7 @@
 cabal-version:      >= 1.6
 build-type:         Simple
 name:               hlint
-version:            1.8.27
+version:            1.8.28
 -- license is GPL v2 only
 license:            GPL
 license-file:       LICENSE