>>128
wikipediaよんだ？

> Haskell言語にはパラメータ化された型 (parameterized types)、パラメータ的多態 (parametric polymorphism)、
> そしてJavaのジェネリクスやC++のテンプレートの両方に似たプログラミングのスタイルをサポートする
> 型クラス (type classes) がある。

型クラス