Folds the tuple data into a Monoid value with mapping functions aMap and bMap.
Monoid
aMap
bMap
The Monoid instance for M.
M
Folded value of type M.
Folds the tuple data into a
Monoidvalue with mapping functionsaMapandbMap.