{ Kind = ./Kind
, Set = ./Set
, Type = ./Type
, extractCommutativeMonoid = ./extractCommutativeMonoid
, extractGroup = ./extractGroup
, extractMonoid = ./extractMonoid
, quotient = ./quotient
}