On 5/31/12 12:48 PM, Lorenzo Bolla wrote: > It looks like you are overflowing `Int` with 3^40. > In your QuickCheck test, the function signature uses Int: +1. I was bitten by this issue recently as well. When playing around with properties and debugging in GHCi, always beware of type defaulting to Integer. -- Live well, ~wren