>>599
本なら
http://www.cis.upenn.edu/~bcpierce/tapl/

webなら簡単ですが
http://en.wikibooks.org/wiki/Haskell/Polymorphism
http://en.wikibooks.org/wiki/Haskell/Existentially_quantified_types
あたりですかね。