entually :: Assertion -> Assertion
eventually cond = go 1 where
  go n | n > 8 = cond
  go n = cond <|> (delaySeconds n >> go (n*2))


eventually :: Assertion -> Assertion
eventually cond = go 1 where
  go n | n > 8 = cond
  go n = cond <|> (delaySeconds n >> go (n*2))
eventually cond = go 1 where
  go n | n > 8 = cond
  go n = cond <|> (delaySeconds n >> go (n*2))