polymorphism

種類	内容	実装	Haskell
parametric	すべての型に対して成立する	実装が同じ	type variable
ad-hoc	一部の型に対して成立する	成立させる型ごとに実装が異なる	type class