You want downstream users to be able to override and specialize types via parametric internal sets.

• 希望下游用户能够通过内部参数集覆盖并将类型专门化。