In this note, we discuss a number of parametricity features and what their requirements are in terms of complexity of the type system and its model.

翻译：在本说明中,我们讨论了若干参数特征,以及这些特征在类型系统及其模型的复杂性方面有哪些要求。