@hackage groups0.5

Groups

A group is a monoid with invertibility.