[id:lethevert:20050906:p1] 昨日のポイントは、 リストは単一の型しか受け取ることができないことと、 # f = foldl save f lst のsaveが、型クラスで多重定義されているので、そのどれを使うのかがコンパイル時点で決められなければいけないということだと…