It's fine if the poster above me wishes to change languages. Anyone who chooses to stick with Haskell should get comfortable with the notion that all functions can diverge, and accept that this is fully consistent with the Haskell type system.