Система типов в Haskell

Хочется больше почитать о системе типов в языке Haskell.
Уже читал YAHT и Gentle Introdution...
Что еще посоветуете?

Пока на собственное сообщение не было ответов, его можно удалить.

Заголовок: