>>34の最初の方のリンク ("Type Systems and Programming Languages" 輪講)
　23.2 Varieties of Polymorphism
　　Parametric Polymorphism: 前節と本節のメイン。
　　　　型チェックではとりあえず「generic な」型を当てておいて、必要に応じて具体的な型で考えるタイプ。
　　　　Polymorphic なコードはプログラムテキスト上は同じ見かけになる。

　　　　最も強力なのは本節の impredicative (or first-class) polymorphism だが、
　　　　実用上広く使われるのは let-polymorphism である。

　　Ad-hoc Polymorphism: 型ごとに違ったコードを書くタイプ。
　　　　最も広く使われているものに overloading、それを一般化した multi-method dispatch 等がある。
　　　　intensional polymorphis や typecase のように、実行時に型情報を利用できる強力な機構もある。
　　　　OOP 界で polymorphism というときには ad-hoc polymorphism の一種である
　　　　subtype polymorphism を指すことが多い。

>>38-42
簡単に言うと、「Genericで型推論！」つう事は、
・OOで subtype polymorphismは普及したから、次は
・Genericで Parametric Polymorphismしようよ、
って話でOK？

(10年前からそりゃわかってるさ、わかってるけどOO屋が頭固いから・・・)