Hello, has anybody on this list read Goldblatt's "Topoi, the categorical Analysis of Logic"? Did reading that book make you a better Haskell programmer? If so, how? Cheers, phiroc