アホすぎる。>>804とか思いっきり型の定義書いてるだろ。
多相型（総称型）と型推論を混同してる。