extrapolate-0.4.0: test/model/eg/overflow8.out
*** Failed! Falsifiable (after 896 tests): T [-1] [-128] Conditional Generalization: T ((-1):xs) ((-128):xs) when 0 == sum xs
*** Failed! Falsifiable (after 896 tests): T [-1] [-128] Conditional Generalization: T ((-1):xs) ((-128):xs) when 0 == sum xs