ま、もともとcoercionの例(>>654)を見て、
何を思ったのかHaskellの型推論なら同じことが出来るとか
アホなこと書いたやつがいたのが発端。
こんなのHaskell使いが書くわけないから多分Java厨だろうね。