模块系统更灵活

这不进行类型检查：

模块令人烦恼数据A：设置位置一₁ : A类一₂ : A类数据B:A->设置位置b条₁ : B和a₁b条₂ : B和a₂模块M（a:a），其中id:B a->B aid b₁ = b条₁id b₂ = b条₂

原因是参数一到M（M）在以下情况下是固定的身份证件已检查类型，因此无法将其实例化为一₁或一₂。这可能很烦人，解决方法是内联模块M（M）（或分配参数一中的所有功能M（M）)，这使得代码模块化程度更低。因此，我建议类型检查器应该更加灵活，以便它能够处理这个示例。