úΛ Safe-InferredA  is a  plus a function, , such that: a   invert a == mempty         groups-0.1.0.1 Data.GroupGroupinvertbase Data.MonoidMonoid $fGroup(,,,,) $fGroup(,,,) $fGroup(,,) $fGroup(,) $fGroupDual$fGroupProduct $fGroupSum $fGroup()