>>296
禿同。
MLの型推論は関数の定義において冗長な型宣言が
不要だというだけだものね。