>>363
型推論が正しく実行された結果、
問題の式には型エラーがあるという事実が
正しく推論されたわけだが、何か？
それとも君には例の式は
(正しくは fn (id : 'a -> 'a) => (id 123 , id "abc") だが)
型エラーではないと思ってるのか？