Plankton.Additive

class AdditiveMagma a

class AdditiveUnital a

class AdditiveAssociative a

class AdditiveCommutative a

class AdditiveInvertible a

class AdditiveIdempotent a

sum

class Additive a

class AdditiveRightCancellative a

class AdditiveLeftCancellative a

class AdditiveGroup a