Data.Derive.Monoid
makeMonoid