>>355
> # fun (id : 'a -> 'a) -> (id 123, id "abc") ;;

id 123では 'a = int
id "abc"では 'a = string
当然型エラーだわな。
MLの言語仕様と完全に一致しているし、型推論が正しく実行されているいい例だよな。