diff --git a/finite-typelits.cabal b/finite-typelits.cabal
--- a/finite-typelits.cabal
+++ b/finite-typelits.cabal
@@ -1,5 +1,5 @@
 name:                finite-typelits
-version:             0.2.0.0
+version:             0.2.0.1
 synopsis:            A type inhabited by finitely many values, indexed by type-level naturals
 description:         A type inhabited by finitely many values, indexed by type-level naturals.
 homepage:            https://github.com/mniip/finite-typelits
@@ -16,10 +16,10 @@
                      , Data.Finite.Integral
                      , Data.Finite.Internal
                      , Data.Finite.Internal.Integral
-  build-depends:       base >= 4.7 && < 4.20
+  build-depends:       base >= 4.7 && < 4.21
                      , deepseq >= 1.3 && < 1.6
                      , tagged >= 0.8 && < 0.9
-                     , template-haskell >= 2.9 && < 2.22
+                     , template-haskell >= 2.9 && < 2.23
   hs-source-dirs:      src
   default-language:    Haskell2010
   ghc-options:         -Wall
@@ -28,7 +28,7 @@
   type:                exitcode-stdio-1.0
   main-is:             test/Main.hs
   build-depends:       finite-typelits
-                     , base >= 4.9 && < 4.20
+                     , base >= 4.9 && < 4.21
                      , deepseq >= 1.3 && < 1.6
                      , QuickCheck >= 2.12 && < 2.15
   default-language:    Haskell2010
diff --git a/src/Data/Finite/Integral.hs b/src/Data/Finite/Integral.hs
--- a/src/Data/Finite/Integral.hs
+++ b/src/Data/Finite/Integral.hs
@@ -8,6 +8,7 @@
 -- Portability :  portable
 --------------------------------------------------------------------------------
 {-# LANGUAGE ConstraintKinds #-}
+{-# LANGUAGE CPP #-}
 {-# LANGUAGE DataKinds #-}
 {-# LANGUAGE ExplicitForAll #-}
 {-# LANGUAGE FlexibleContexts #-}
@@ -37,7 +38,9 @@
     where
 
 import Data.Coerce
-import Data.List
+#if __GLASGOW_HASKELL__ < 910
+import Data.List (foldl')
+#endif
 import Data.Proxy
 import Data.Void
 import GHC.TypeLits