>>141
fun f(_:'a list) = [];
なら 'a list -> 'b list ですが、ほかに思いつかないです。。。

>>143
(tail x) という部分も flat してあげる必要があるような。
で、これだと、>>138 の方が書いてるように、flat の型が
１つに定まってないんですよね。
関数の多重定義が可能ならそんな感じでいけそうなんですけどね。