Numeric.Algebra.Involutive
class InvolutiveMultiplication r
class InvolutiveSemiring r
class InvolutiveAlgebra r a
class InvolutiveCoalgebra r c
class InvolutiveBialgebra r h
class TriviallyInvolutive r
class TriviallyInvolutiveAlgebra r a
class TriviallyInvolutiveCoalgebra r a
class TriviallyInvolutiveBialgebra r h