{ Kind = ./Kind
, Type = ./Type
, extractAdditive = ./extractAdditive
, extractAdditiveInstance = ./extractAdditiveInstance
, extractCategory = ./extractCategory
, extractMultiplicative = ./extractMultiplicative
, extractMultiplicativeInstance = ./extractMultiplicativeInstance
, separatorMonoid = ./separatorMonoid
}