型クラス

programming-language

RustにおけるTraitとかに近いもの

あるメソッド群を持つジェネリックな型の分類

パラメトリックなジェネリクスに対して、対象が広すぎるものを、アドホック多相的に制限する

“Hackett: a metaprogrammable Haskell” by Alexis King - YouTube

この動画の説明わかりやすかった（12:10～）

式をもとに型を生成するのが型推論、型情報をもとに式を生成するのがジェネリクスというループ

Hackett