tag :: parametric polymorphism

• Haskell :: 減輕型態負擔的型態參數
• Java :: 定義與使用泛型
• Java :: Producer extends
• Java :: Consumer super