@hackage groups0.5.3

Groups

A group is a monoid with invertibility.