>>492
> 明示的に書いたので、Int型にインスタンシエイトされるべきですよね？
その理屈でいくと、[] + 1 :: Intとか1 + [] :: Int って書いたら
なんか適当なInt型の値が得られなきゃいけないって事？