The instance of AbelianGroup for A.
AbelianGroup
A
The instance of AbelianGroup for Dual<A, B>.
Dual<A, B>
The instance of
AbelianGroupforA.