Ask HN: any type theory book recommendation?

After spending some time with Haskell, I was considering diving into some more type theory. Any recommendation for the good type theory book?

I know about Pierce's "Types and Programming Languages" and "Advanced Topics in Types and Programming Languages" but would like to learn whether there are any comparable alternatives.

Thanks in advance!