Group () #  

Group a => Group (Dual a) #  

Num a => Group (Sum a) #  

Fractional a => Group (Product a) #  

Group b => Group (a > b) #  

(Group a, Group b) => Group (a, b) #  

(Group a, Group b, Group c) => Group (a, b, c) #  

(Group a, Group b, Group c, Group d) => Group (a, b, c, d) #  
Methods invert :: (a, b, c, d) > (a, b, c, d) # pow :: Integral x => (a, b, c, d) > x > (a, b, c, d) # 
(Group a, Group b, Group c, Group d, Group e) => Group (a, b, c, d, e) #  
Methods invert :: (a, b, c, d, e) > (a, b, c, d, e) # pow :: Integral x => (a, b, c, d, e) > x > (a, b, c, d, e) # 