>>277
いやそうだろうけど、haskellでも多相にできるんだから、その型を使う側からしたら振舞いは不確定じゃん？
というかその不確定さが多相、多態性の売りなんじゃない？
scala でもコンパイル時にチェックはしてるんだから変なメソッド呼び出しにはならないし