any type theory book recommendation?
leif: I believe http://www.cs.nott.ac.uk/~gmh/cat.html was on HN sometime in the last two weeks.  It's a very very good introduction to the underlying mathematical structures Haskell uses for its type system.