>>362
その議論だと
　# let id : 'a -> 'a = fun x -> x ;;
　val id : 'a -> 'a = <fun>
　# (id 123, id "abc") ;;
　- : int * string = 123, "abc"
も型エラーということになってしまうぞ。0ドラクマ?(w
結論は合ってるけど、理由が違う。