すべての属性を空白のfinalとして宣言し、すべての属性をまたはのような可変タイプのような可変タイプではなく不変タイプ(たとえば、、、またはこれらの規則に従って宣言された他のタイプ)とする。