concept via type class

Haskell に type class が導入されている motivation についてまとまってるサイトにゃいかにゃー. Haskell の type class を通して C++ の concept を見てみたいの会.あと, C++0x の concept で functional dependency が手軽に扱えそうか/有用そうかどうか誰かおすえてっ!<functional dependency がいったい何なのかさっぱり理解していないが,とりあえず面白そうだから見てみたいというバーカバーカ