involutive-semigroups (hackage): Provides a typeclass for semigroups with "inverse-like" operations.
Keywords: algebra|bsd3|data|library|math