なんとなくはわかってるけど厳密なところを調べないといけない。論文を探すことにする。「Haskell type class」とかでぐぐる。よくわからないチュートリアルがたくさんヒットするので、「publications」もつける。http://citeseer.ist.psu.edu/74969.html。H…