べんきょおかい

9章の分を書いた(http://haskell.g.hatena.ne.jp/sshi/20060805/p1)。今回つらかった…。
haskellの型システムの根幹である部分を一章でまとめるのはいくらなんでも無理な気がする。割り切ってるんだろうけども。これはどうなんだろうか…