図書スレから誘導されたので、改めてこちらで質問します

洋書でも和書でも全く構わないんですが、
Haskell でランクとか kind とか forall とかの意味や役割を
丁寧に解説している本って何か無いですか？

あるいは、forall なら forall（とその関連）だけでいいですから、
まとまって丁寧に説明されているサイトなどあれば嬉しいです