Numeric.Algebra.Idempotent
class Band r
pow1pBand
powBand
class IdempotentAlgebra r a
class IdempotentCoalgebra r c
class IdempotentBialgebra r h