Data.CxMonoid
type MonoidDict a
data CxMonoid a