[haskell-br] Teoria de Tipos

Pessoal, Fiquei interessado em aprender mais sobre a parte teórica dos tipos, categorias e afins. Estou começando a ler o livro "Type Theory and Functional Programming", que tem o pdf na página do próprio autor ( http://www.cs.kent.ac.uk/people/staff/sjt/TTFP/). Alguém por um acaso saberia me dizer se este é um bom livro para ser introduzido ao assunto? Ou teria alguma sugestão? Também comecei a dar uma olhada no "An Introduction to Category Theory" que me pareceu palatável ( http://www.amazon.com/gp/aw/d/B009019QT6/ref=mp_s_a_1?qid=1356133716&sr=1-1 ). []s, Ricardo Boccato Alves