Numeric.Semiring.Involutive
class
InvolutiveSemiring
r