diff --git a/CHANGELOG.md b/CHANGELOG.md
index e6e1e9c..574cba9 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -5,6 +5,7 @@ Notable changes to this project are documented in this file. The format is based
 ## [Unreleased]
 
 Breaking changes:
+- `Data.Traversable` now re-exports `product` (was mistakenly removed in 5.0.0) (#138)
 
 New features:
 
diff --git a/src/Data/Traversable.purs b/src/Data/Traversable.purs
index 612499f..76d673e 100644
--- a/src/Data/Traversable.purs
+++ b/src/Data/Traversable.purs
@@ -6,16 +6,18 @@ module Data.Traversable
   , scanr
   , mapAccumL
   , mapAccumR
-  , module Data.Foldable
-  , module Data.Traversable.Accum
+  , module Exports
   ) where
 
 import Prelude
 
+import Data.Foldable (class Foldable, all, and, any, elem, find, fold, foldMap, foldMapDefaultL, foldMapDefaultR, foldl, foldlDefault, foldr, foldrDefault, for_, intercalate, maximum, maximumBy, minimum, minimumBy, notElem, oneOf, or, sequence_, sum, product, traverse_) as Exports
+import Data.Traversable.Accum (Accum) as Exports
+
 import Control.Apply (lift2)
 import Data.Const (Const(..))
 import Data.Either (Either(..))
-import Data.Foldable (class Foldable, all, and, any, elem, find, fold, foldMap, foldMapDefaultL, foldMapDefaultR, foldl, foldlDefault, foldr, foldrDefault, for_, intercalate, maximum, maximumBy, minimum, minimumBy, notElem, oneOf, or, sequence_, sum, traverse_)
+import Data.Foldable (class Foldable)
 import Data.Functor.App (App(..))
 import Data.Functor.Compose (Compose(..))
 import Data.Functor.Coproduct (Coproduct(..), coproduct)