#programming-language 

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

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

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

["Hackett: a metaprogrammable Haskell" by Alexis King - YouTube](https://youtu.be/5QQdI3P7MdY)

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

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

[[Hackett]]