Maps data in the structure T into the monoid M and folds them with monoid.combine.
T
M
monoid.combine
The instance of Foldable for T.
Foldable
The instance of Monoid for M.
Monoid
The combined result value.
Maps data in the structure
Tinto the monoidMand folds them withmonoid.combine.