higher-order.out

*** Failed! Falsifiable (after 75 tests):
\x y -> case (x,y) of
          (0,0) -> 1
          (0,1) -> 1
          (1,0) -> 0
          (0,-1) -> 1
          (1,1) -> 0
          (-1,0) -> 0
          (0,2) -> 1
          (1,-1) -> 0
          ...
0
[0,0]

*** Failed! Falsifiable (after 130 tests):
\x y -> case (x,y) of
          (0,0) -> 1
          (0,1) -> 1
          (1,0) -> 0
          (0,-1) -> 1
          (1,1) -> 0
          (-1,0) -> 0
          (0,2) -> 1
          (1,-1) -> 0
          ...
[0,0,0]

*** Failed! Falsifiable (after 36 tests):
\x -> case x of
        0 -> 0
        1 -> 0
        -1 -> 0
        2 -> 0
        -2 -> 0
        3 -> 0
        -3 -> 0
        4 -> 0
        ...
\x -> case x of
        0 -> True
        1 -> False
        -1 -> False
        2 -> False
        -2 -> False
        3 -> False
        -3 -> False
        4 -> False
        ...
[1]