[Haskell-cafe] Haskell's type system

[Ron Alford]

I'm trying to wrap my head around the theoretical aspects of haskell's
type system. Is there a discussion of the topic separate from the
language itself?

Since I come from a rather logic-y background, I have this
(far-fetched) hope that there is a translation from haskell's type
syntax to first order logic (or an extension there-of).  Is this done?
 Doable?

-Ron