diff --git a/.gitignore b/.gitignore
--- a/.gitignore
+++ b/.gitignore
@@ -1,5 +1,5 @@
 dist
-dist-newstyle
+dist-*
 docs
 wiki
 TAGS
diff --git a/CHANGELOG.markdown b/CHANGELOG.markdown
--- a/CHANGELOG.markdown
+++ b/CHANGELOG.markdown
@@ -1,8 +1,13 @@
+5.0.10 [2026.01.10]
+-------------------
+* Support building with MicroHs.
+* Remove unused `transformers-compat` dependency.
+
 5.0.9 [2024.12.04]
 ------------------
 * Drop support for pre-8.0 versions of GHC.
 
-5.0.8 [2023.09.30]
+5.0.8 [2020.12.30]
 -----------------
 * Explicitly mark modules as Safe or Trustworthy
 * The build-type has been changed from `Custom` to `Simple`.
diff --git a/comonad.cabal b/comonad.cabal
--- a/comonad.cabal
+++ b/comonad.cabal
@@ -1,6 +1,6 @@
 name:          comonad
 category:      Control, Comonads
-version:       5.0.9
+version:       5.0.10
 license:       BSD3
 cabal-version: >= 1.10
 license-file:  LICENSE
@@ -23,10 +23,11 @@
              , GHC == 9.0.2
              , GHC == 9.2.8
              , GHC == 9.4.8
-             , GHC == 9.6.6
+             , GHC == 9.6.7
              , GHC == 9.8.4
-             , GHC == 9.10.1
-             , GHC == 9.12.1
+             , GHC == 9.10.3
+             , GHC == 9.12.2
+             , GHC == 9.14.1
 extra-source-files:
   .gitignore
   .hlint.yaml
@@ -69,7 +70,7 @@
 
 source-repository head
   type: git
-  location: git://github.com/ekmett/comonad.git
+  location: https://github.com/ekmett/comonad.git
 
 library
   hs-source-dirs: src
@@ -79,11 +80,10 @@
   build-depends:
     base                >= 4.9 && < 5,
     tagged              >= 0.8.6.1 && < 1,
-    transformers        >= 0.3 && < 0.7,
-    transformers-compat >= 0.5 && < 1
+    transformers        >= 0.5 && < 0.7
 
   if flag(containers)
-    build-depends: containers >= 0.3 && < 0.8
+    build-depends: containers >= 0.3 && < 0.9
 
   if flag(distributive)
     build-depends: distributive >= 0.5.2 && < 1
diff --git a/examples/History.hs b/examples/History.hs
--- a/examples/History.hs
+++ b/examples/History.hs
@@ -52,7 +52,7 @@
 ini dx = extract dx `fby` extend ini dx
 
 fibo :: Num b => History a -> b
-fibo d = wfix $ d $> fby 0 . extend (\dfibo -> extract dfibo + fby 1 dfibo) 
+fibo d = wfix $ d $> fby 0 . extend (\dfibo -> extract dfibo + fby 1 dfibo)
 
 fibo' :: Num b => History a -> b
 fibo' d = fst $ wfix $ d $> fby (0, 1) . fmap (\(x, x') -> (x',x+x'))
diff --git a/src/Control/Comonad/Trans/Env.hs b/src/Control/Comonad/Trans/Env.hs
--- a/src/Control/Comonad/Trans/Env.hs
+++ b/src/Control/Comonad/Trans/Env.hs
@@ -65,6 +65,11 @@
 import Data.Semigroup
 #endif
 
+#ifdef __MHS__
+import Data.Foldable
+import Data.Traversable
+#endif
+
 -- $setup
 -- >>> import Control.Comonad