diff --git a/CHANGELOG.markdown b/CHANGELOG.markdown
--- a/CHANGELOG.markdown
+++ b/CHANGELOG.markdown
@@ -1,3 +1,8 @@
+0.8.11 [2026.09.28]
+-------------------
+* Include `Data` and `Generic` instances for `Tagged` when building with
+  MicroHs.
+
 0.8.10 [2025.12.07]
 -------------------
 * Deprecate `Data.Proxy.TH.{pr,pr1}`, as their functionality has been subsumed
diff --git a/src/Data/Tagged.hs b/src/Data/Tagged.hs
--- a/src/Data/Tagged.hs
+++ b/src/Data/Tagged.hs
@@ -55,9 +55,7 @@
 import Data.Foldable1 (Foldable1(..))
 import Data.Bifoldable1 (Bifoldable1(..))
 #endif
-#ifdef __GLASGOW_HASKELL__
 import Data.Data
-#endif
 import Data.Ix (Ix(..))
 import Data.Semigroup (Semigroup(..))
 import Data.String (IsString(..))
@@ -66,9 +64,7 @@
 #endif
 import Foreign.Ptr (castPtr)
 import Foreign.Storable (Storable(..))
-#ifdef __GLASGOW_HASKELL__
 import GHC.Generics (Generic, Generic1)
-#endif
 
 -- | A @'Tagged' s b@ value is a value @b@ with an attached phantom type @s@.
 -- This can be used in place of the more traditional but less safe idiom of
@@ -81,13 +77,8 @@
 -- 'Tagged' has kind @k -> * -> *@ if the compiler supports @PolyKinds@, therefore
 -- there is an extra @k@ showing in the instance haddocks that may cause confusion.
 newtype Tagged s b = Tagged { unTagged :: b }
-  deriving ( Eq, Ord, Ix, Bounded
-#ifdef __GLASGOW_HASKELL__
-           , Generic, Generic1
-#endif
-           )
+  deriving (Eq, Ord, Ix, Bounded, Generic, Generic1)
 
-#ifdef __GLASGOW_HASKELL__
 instance (Data s, Data b) => Data (Tagged s b) where
   gfoldl f z (Tagged b) = z Tagged `f` b
   toConstr _ = taggedConstr
@@ -105,7 +96,6 @@
 taggedDataType :: DataType
 taggedDataType = mkDataType "Data.Tagged.Tagged" [taggedConstr]
 {-# INLINE taggedDataType #-}
-#endif
 
 instance Show b => Show (Tagged s b) where
     showsPrec n (Tagged b) = showParen (n > 10) $
diff --git a/tagged.cabal b/tagged.cabal
--- a/tagged.cabal
+++ b/tagged.cabal
@@ -1,5 +1,5 @@
 name:           tagged
-version:        0.8.10
+version:        0.8.11
 license:        BSD3
 license-file:   LICENSE
 author:         Edward A. Kmett
@@ -26,8 +26,9 @@
   GHC == 9.4.8
   GHC == 9.6.6
   GHC == 9.8.4
-  GHC == 9.10.1
-  GHC == 9.12.1
+  GHC == 9.10.3
+  GHC == 9.12.2
+  GHC == 9.14.1
 
 source-repository head
   type: git
@@ -68,6 +69,6 @@
     build-depends: deepseq >= 1.1 && < 1.6
 
   if flag(template-haskell) && impl(ghc)
-    build-depends: template-haskell >= 2.11 && < 2.24
+    build-depends: template-haskell >= 2.11 && < 2.26
     exposed-modules:
       Data.Proxy.TH