前々から「C++ でいうところの concept という概念は，(Generic) Haskell では "kind system" と呼ばれている」とゆ〜のをちらほら目にしていて，"kind system" とゆ〜のが気になっていて仕方なかったのでお勉強してみようと web で資料を漁ってみるテスト．
http://www.cs.uu.nl/~andres/ExploringGH.pdf
……うむ．久しぶりに凄いものを読んでいる気がする．
何が凄いって，読んでいて全く意味が分からないのが凄い．
……っていうかコードどこ？
