random tests
Falsifiable (after 3 tests and 3 shrinks):
  1
  0
  [1] expected 2 but got 1

I think haskell random tests are a bit flaky, I constantly get weird results like [1,-1] expected 1 bu got 0, [0] expected -1 bu got 0 et cetera...