sigfpe has a beautiful blog post in which the Goodstein sequence sneaks up on you in some Haskell code.