-- |x_{n} - x_{n+1}| < epsilon. The pattern match on 'Just' is
-- "safe" since the list is infinite. We'll succeed or loop
-- forever.
-- |x_{n} - x_{n+1}| < epsilon. The pattern match on 'Just' is
-- "safe" since the list is infinite. We'll succeed or loop
-- forever.