型クラス

（計算機科学の）型クラス（かたクラス、Type class）は、アドホック多相をサポートする型システムの機能である。パラメトリック多相の型変数に制約を付加して、関数オーバーロードと演算子オーバーロードを実現するのが元々の目的になる。

この神経はここで途切れています。