add derived instances for Dual monoid