http://www.haskell.org/ghc/docs/latest/h.....l#bugs-ghc > We have never found another class of programs, other than this contrived one, that makes GHC diverge, and fixing the problem would impose an extra overhead on every compilation.