Strange loops come up all the time in Haskell.

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.