Data.MFoldable

type family MonoidMap as m

class MFoldable f as

mfoldMap

class Repeat m as

mfold

class GMFoldable f as

class GFMFoldable f as

class GFPMFoldable n as

class AdaptFieldMonoid f as