>>129
２つめのURLの方が挙げているpaulsonの解だと「リストのリスト」
しか扱っていませんね。

a list list -> a list
で、a がさらにリストの時には、a listに対してflatを再帰的に
呼び出してやらなければいけないと思いますが...
そんな動的な型判定がMLでできるのだろうか。