は？
milnerの型推論機構が不完全であることは前提だと思っていたが？
その話なのか？
MLの型推論の話なんだろ？