úη„ Safe-InferredAn  group is a  that follows the rule: a < > b == b <> aA  is a  plus a function, , such that:  a <> invert a == mempty  invert a < > a == mempty  a n == a <> a <> ... <> a  (n lots of a)*If n is negative, the result is inverted.        groups-0.4.0.0 Data.GroupAbelianGroupinvertpowbase Data.MonoidMonoid$fAbelian(,,,,)$fAbelian(,,,) $fAbelian(,,) $fAbelian(,) $fAbelian(->) $fAbelianDual$fAbelianProduct $fAbelianSum $fAbelian() $fGroup(,,,,) $fGroup(,,,) $fGroup(,,) $fGroup(,) $fGroup(->) $fGroupDual$fGroupProduct $fGroupSum $fGroup()