Z     SafeAn  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.1.0-D4loPYCibRNLF0elvIwoM Data.GroupAbelianGroupinvertpow$fAbelian(,,,,)$fAbelian(,,,) $fAbelian(,,) $fAbelian(,) $fAbelian(->) $fAbelianDual$fAbelianProduct $fAbelianSum $fAbelian() $fGroup(,,,,) $fGroup(,,,) $fGroup(,,) $fGroup(,) $fGroup(->) $fGroupDual$fGroupProduct $fGroupSum $fGroup()baseGHC.BaseMonoid