>>545
ttp://www.haskell.org/haskellwiki/Rank-N_types
こことか型変数の全称量化について簡潔に書いてあるよ。