>>350
で、MLの正しい式で
・MLの処理系の型推論では型付不能
・型検査を通るがMLの処理系では型推論できない
にあてはまる具体例をそれぞれ示してくれい。

(「あらゆる」って、まさか「milnerの型推論ではC#の型付ができない」とかいう
アフォな事いってるんじゃないよな？
MLの型推論の話なんだから、MLの型推論ではMLプログラムの型付ができない
って話なんだよな？)