>>144
え?だから、flatの型は'a list ->'b listでいいじゃん。
何が問題なの?