Cf. loeb
http://www.haskell.org/haskellwiki/Blow_your_mind#Other
Understanding type theory and set theory is a common side effect of learning Haskell and are critical in understanding Godel.
Also there's never a bad time to learn Haskell.