Deriving via: When do Representations Match?

[danidiaz]

Note that

 deriving (Semigroup, Monoid) via Generically DataType

Should also work.

Edit: No, I was wrong! I forgot that for that to work automatically we would need Semigroup and Monoid intances for Int.