diff --git a/Math/NumberTheory/ArithmeticFunctions/Inverse.hs b/Math/NumberTheory/ArithmeticFunctions/Inverse.hs
index 8b195253..2e7efc90 100644
--- a/Math/NumberTheory/ArithmeticFunctions/Inverse.hs
+++ b/Math/NumberTheory/ArithmeticFunctions/Inverse.hs
@@ -27,7 +27,7 @@ module Math.NumberTheory.ArithmeticFunctions.Inverse
     asSetOfPreimages
   ) where
 
-import Prelude hiding (rem, quot)
+import Prelude hiding (rem, quot, Foldable(..))
 import Data.Bits (Bits)
 import Data.Euclidean
 import Data.Foldable
diff --git a/Math/NumberTheory/Primes/Factorisation/Montgomery.hs b/Math/NumberTheory/Primes/Factorisation/Montgomery.hs
index 2a50ee7f..8da49a2a 100644
--- a/Math/NumberTheory/Primes/Factorisation/Montgomery.hs
+++ b/Math/NumberTheory/Primes/Factorisation/Montgomery.hs
@@ -33,13 +33,14 @@ module Math.NumberTheory.Primes.Factorisation.Montgomery
   , findParms
   ) where
 
+import Prelude hiding (Foldable(..))
 import Control.Arrow
 import Control.Monad.Trans.State.Lazy
 import Data.Array.Base (bounds, unsafeAt)
 import Data.Bits
+import Data.Foldable
 import Data.IntMap (IntMap)
 import qualified Data.IntMap as IM
-import Data.List (foldl')
 import Data.Maybe
 import Data.Mod
 import Data.Proxy
diff --git a/Math/NumberTheory/Primes/Testing/Certified.hs b/Math/NumberTheory/Primes/Testing/Certified.hs
index 08afb0b5..c62c4776 100644
--- a/Math/NumberTheory/Primes/Testing/Certified.hs
+++ b/Math/NumberTheory/Primes/Testing/Certified.hs
@@ -16,8 +16,9 @@ module Math.NumberTheory.Primes.Testing.Certified
   ( isCertifiedPrime
   ) where
 
-import Data.List (foldl')
+import Prelude hiding (Foldable(..))
 import Data.Bits ((.&.))
+import Data.Foldable
 import Data.Mod
 import Data.Proxy
 import GHC.Num.Integer
diff --git a/benchmark/Math/NumberTheory/PrimesBench.hs b/benchmark/Math/NumberTheory/PrimesBench.hs
index dbca95ce..24983e42 100644
--- a/benchmark/Math/NumberTheory/PrimesBench.hs
+++ b/benchmark/Math/NumberTheory/PrimesBench.hs
@@ -1,4 +1,6 @@
-{-# OPTIONS_GHC -fno-warn-type-defaults #-}
+{-# OPTIONS_GHC -Wno-type-defaults #-}
+{-# OPTIONS_GHC -Wno-x-partial #-}
+{-# OPTIONS_GHC -Wno-unrecognised-warning-flags #-}
 
 module Math.NumberTheory.PrimesBench
   ( benchSuite