#programming-language 

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

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

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

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

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