diff --git a/singletons-base/src/Data/List/Singletons/Internal/Disambiguation.hs b/singletons-base/src/Data/List/Singletons/Internal/Disambiguation.hs
index e1ad11d1..3409daed 100644
--- a/singletons-base/src/Data/List/Singletons/Internal/Disambiguation.hs
+++ b/singletons-base/src/Data/List/Singletons/Internal/Disambiguation.hs
@@ -20,7 +20,7 @@
 module Data.List.Singletons.Internal.Disambiguation where
 
 import Data.Eq.Singletons
-import Data.List ( foldl', inits, insert, intersperse, isPrefixOf
+import Data.List ( inits, insert, intersperse, isPrefixOf
                  , nubBy, partition, sort, sortBy, tails, transpose )
 import Data.List.Singletons.Internal
 import Data.Ord.Singletons
diff --git a/singletons-th/src/Data/Singletons/TH/Single/Defun.hs b/singletons-th/src/Data/Singletons/TH/Single/Defun.hs
index fd9603d8..502e8d87 100644
--- a/singletons-th/src/Data/Singletons/TH/Single/Defun.hs
+++ b/singletons-th/src/Data/Singletons/TH/Single/Defun.hs
@@ -14,7 +14,6 @@
 module Data.Singletons.TH.Single.Defun (singDefuns) where
 
 import Control.Monad
-import Data.Foldable
 import Data.Singletons.TH.Names
 import Data.Singletons.TH.Options
 import Data.Singletons.TH.Promote.Defun