Я начал читать о GADT в Haskell Wiki, но не чувствовал себя достаточно комфортно для понимания этого. Вы порекомендуете отдельную главу книги или сообщение в блоге, объясняющее GADT для новичка в Haskell?