Data.MFoldable
type family
MonoidMap
as m
class
MFoldable
f as
mfoldMap
mfold