被修飾名の場合はそうである。ときのみ有効範囲であるにもかかわらず、正しい。...宣言は型シグネチャあるいは結合性宣言を含むことはできない。変数または関数定義の形式をとらなければならない。宣言中の対応するデフォルトクラスメソッドが使用される。コンパイル時エラーとはならない。回以上宣言することはできない。そのクラスと型はおなじ種を持たなければならない。決定することができる。制約を満すものとしよう。つの条件も満されなければならない。現される制約が満されなければならない。要求されるインスタンス型中の型変数の制約も満されなければならない。