>>136
問題なのはリストの長さじゃなくて深さなんだが。

>>137
じゃあ、そのflat関数の型を言ってみろよ。
129が聞きたいのは
flat [[1], [2], [3]] = [1, 2, 3]
かつ
flat [[[1],[2],[3]]] = [1, 2, 3]
となるような関数だよな？ > 129
'a list list -> 'a listじゃあ
flat [[[1],[2],[3]]] = [1, 2, 3]にはならんぞ。