型クラスの分類基準

• 公理付きか公理なしか： 公理付きならセオリー、なしなら指標。
• パラメータが1つか複数か： 単パラメータ型クラス（単一の型パラメータを持つ型クラス）と複パラメータ型クラス（複数の型パラメータを持つ型クラス）
• パラメータを使うかレコードフィールドを使うか
• 部分固定があるかどうか（相対か非相対か）
• アンビエント圏は何か： 無修飾なソートはどの圏に値を取るか
• 暗黙ソートを持つか：明示されない型パラメータ（多くの場合は隠蔽ソート）
• 指標の種類は代数的か余代数的な
• 隠蔽ソートを持つか