@hackage / involutive-semigroups

Semigroups with involution.