diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,3 +1,7 @@
+# 0.5.3 [2019.05.02]
+* Implement `foldMap'` in the `Foldable` instance for `WrappedFunctor` when
+  building with `base-4.13` or later.
+
 # 0.5.2 [2019.04.26]
 * Support `th-abstraction-0.3.0.0` or later.
 * Only incur a `semigroups` dependency on old GHCs.
diff --git a/invariant.cabal b/invariant.cabal
--- a/invariant.cabal
+++ b/invariant.cabal
@@ -1,5 +1,5 @@
 name:                invariant
-version:             0.5.2
+version:             0.5.3
 synopsis:            Haskell98 invariant functors
 description:         Haskell98 invariant functors (also known as exponential functors).
                      .
@@ -25,7 +25,8 @@
                    , GHC == 8.0.2
                    , GHC == 8.2.2
                    , GHC == 8.4.4
-                   , GHC == 8.6.4
+                   , GHC == 8.6.5
+                   , GHC == 8.8.1
 extra-source-files:  CHANGELOG.md, README.md
 
 source-repository head
@@ -49,7 +50,7 @@
                      , StateVar             >= 1.1    && < 2
                      , stm                  >= 2.2    && < 3
                      , tagged               >= 0.7.3  && < 1
-                     , template-haskell     >= 2.4    && < 2.15
+                     , template-haskell     >= 2.4    && < 2.16
                      , th-abstraction       >= 0.2.2  && < 0.4
                      , transformers         >= 0.2    && < 0.6
                      , transformers-compat  >= 0.3    && < 1
@@ -69,6 +70,6 @@
                      , hspec            >= 1.8
                      , invariant
                      , QuickCheck       >= 2.11 && < 3
-                     , template-haskell >= 2.4  && < 2.15
+                     , template-haskell >= 2.4  && < 2.16
   build-tool-depends:  hspec-discover:hspec-discover
   ghc-options:         -Wall
diff --git a/src/Data/Functor/Invariant.hs b/src/Data/Functor/Invariant.hs
--- a/src/Data/Functor/Invariant.hs
+++ b/src/Data/Functor/Invariant.hs
@@ -592,6 +592,9 @@
   sum        = F.sum        . unwrapFunctor
   product    = F.product    . unwrapFunctor
 #endif
+#if MIN_VERSION_base(4,13,0)
+  foldMap' f = F.foldMap' f . unwrapFunctor
+#endif
 
 instance T.Traversable f => T.Traversable (WrappedFunctor f) where
   traverse f = fmap  WrapFunctor . T.traverse f . unwrapFunctor