@hackage groups0.5.1

Groups

A group is a monoid with invertibility.