···161161162162----
163163164164--- | Observe that @fmap@ can be recovered from @traverse@ using @Identity@.
164164+-- | Observe that @foldMap@ can be recovered from @traverse@ using @Const@.
165165--
166166-- /Reminder:/ foldMap :: (Foldable t, Monoid b) => (a -> b) -> t a -> b
167167foldMapT ::