diff --git a/Happstack/Foundation.hs b/Happstack/Foundation.hs
--- a/Happstack/Foundation.hs
+++ b/Happstack/Foundation.hs
@@ -148,7 +148,7 @@
 -- checkpoints have been upgrade. We should replace this with a
 -- version that only does the checkpoint if *all* the acid states
 -- could be openned successfully.
-withLocalState :: (MonadBaseControl IO m, MonadIO m, IsAcidic st, Typeable st) =>
+withLocalState :: (MonadBaseControl IO m, MonadIO m, SafeCopy st, IsAcidic st, Typeable st) =>
                   Maybe FilePath        -- ^ path to state directory
                -> st                    -- ^ initial state value
                -> (AcidState st -> m a) -- ^ function which uses the `AcidState` handle
@@ -225,7 +225,7 @@
 
 -- | configuration information for our acid-state database
 data AcidConfig st where
-    AcidLocal :: (IsAcidic st, Typeable st) => Maybe FilePath -> st -> AcidConfig (AcidState st)
+    AcidLocal :: (IsAcidic st, SafeCopy st, Typeable st) => Maybe FilePath -> st -> AcidConfig (AcidState st)
     AcidUsing :: st -> AcidConfig st
 
 withAcidConfig :: (MonadIO m, MonadBaseControl IO m) => AcidConfig st -> (st -> m a) -> m a
diff --git a/examples/ControlV/ControlV.cabal b/examples/ControlV/ControlV.cabal
--- a/examples/ControlV/ControlV.cabal
+++ b/examples/ControlV/ControlV.cabal
@@ -19,6 +19,6 @@
                      base < 5,
                      filepath,
                      happstack-foundation >= 0.5 && < 0.6,
-                     ixset == 1.0.*,
+                     ixset >= 1.0 && < 1.2,
                      time >= 1.4 && < 1.7,
                      text >= 0.11 && < 1.3
diff --git a/examples/ControlVAuth/ControlVAuth.cabal b/examples/ControlVAuth/ControlVAuth.cabal
--- a/examples/ControlVAuth/ControlVAuth.cabal
+++ b/examples/ControlVAuth/ControlVAuth.cabal
@@ -21,8 +21,8 @@
                      , happstack-foundation   >= 0.5   && < 0.6
                      , hsx2hs
                      , jmacro                 >= 0.6.9 && < 0.7
-                     , ixset                  == 1.0.*
-                     , time                   >= 1.4   && < 1.7
+                     , ixset                  >= 1.0   && < 1.2
+                     , time                   >= 1.4   && < 1.9
                      , text                   >= 0.11  && < 1.3
                      , happstack-authenticate >= 2.3   && < 2.4
                      , happstack-jmacro       >= 7.0   && < 7.1
diff --git a/happstack-foundation.cabal b/happstack-foundation.cabal
--- a/happstack-foundation.cabal
+++ b/happstack-foundation.cabal
@@ -1,5 +1,5 @@
 Name:                happstack-foundation
-Version:             0.5.9.1
+Version:             0.5.9.3
 Synopsis:            Glue code for using Happstack with acid-state, web-routes, reform, and HSP
 Description:         happstack-foundation is a library which builds on top of existing components
                      to provide a powerful and type-safe environment for web development. It uses:
@@ -20,7 +20,7 @@
 Maintainer:          jeremy@n-heptane.com
 Category:            Happstack
 Build-type:          Simple
-Cabal-version:       >=1.6
+Cabal-version:       >=1.10
 Data-Files:
   examples/ControlV/ControlV.cabal
   examples/ControlV/LICENSE
@@ -32,18 +32,20 @@
   examples/ControlVAuth/ControlVAuth.cabal
   examples/ControlVAuth/Setup.hs
   examples/ControlVAuth/Main.hs
+tested-with:         GHC==8.0.2, GHC==8.2.2, GHC==8.4.4, GHC==8.6.5, GHC==8.8.4, GHC==8.10.7, GHC==9.0.2, GHC==9.2.2
 
 source-repository head
     type:     git
     location: https://github.com/Happstack/happstack-foundation.git
 
 Library
+  Default-language:  Haskell2010
   Exposed-modules:   Happstack.Foundation
   Build-Depends:
                      base                  < 5,
-                     acid-state            >= 0.7 && < 0.15,
+                     acid-state            >= 0.7 && < 0.17,
                      happstack-hsp         == 7.3.*,
-                     happstack-server      >= 7.0 && < 7.6,
+                     happstack-server      >= 7.0 && < 7.8,
                      hsp                   >= 0.9 && < 0.11,
                      lifted-base           >= 0.1 && < 0.3,
                      monad-control         >= 0.3 && < 1.1,
@@ -51,8 +53,8 @@
                      reform                == 0.2.*,
                      reform-happstack      == 0.2.*,
                      reform-hsp            == 0.2.*,
-                     safecopy              >= 0.7 && < 0.10,
-                     text                  >= 0.11 && < 1.3,
+                     safecopy              >= 0.7 && < 0.11,
+                     text                  >= 0.11 && < 2.1,
                      web-routes            == 0.27.*,
                      web-routes-happstack  == 0.23.*,
                      web-routes-hsp        == 0.24.*,