{ Kind = ./Kind
, Type = ./Type
, extractCommutativeMonoid = ./extractCommutativeMonoid
}