expected

TestLambdaPossible.idr:9:25-34:
  |
9 | wrongPossible = (\Flase impossible)
  |                         ~~~~~~~~~~
Warning - TestLambdaPossible.case block in wrongPossible at TestLambdaPossible.idr:9:25-34 is not total as there are missing cases

TestLambdaPossible.idr:9:1-35:
  |
9 | wrongPossible = (\Flase impossible)
  | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Warning - TestLambdaPossible.wrongPossible is possibly not total due to: TestLambdaPossible.case block in wrongPossible at TestLambdaPossible.idr:9:25-34

TestLambdaPossible.idr:12:25:
   |
12 | wrongPossible' x = case x of
   |                         ^
Warning - TestLambdaPossible.case block in wrongPossible' at TestLambdaPossible.idr:12:25 is not total as there are missing cases

TestLambdaPossible.idr:12:1-13:40:
   |
12 | wrongPossible' x = case x of
   | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ...
Warning - TestLambdaPossible.wrongPossible' is possibly not total due to: TestLambdaPossible.case block in wrongPossible' at TestLambdaPossible.idr:12:25

TestLambdaPossible.idr:9:17-35:
  |
9 | wrongPossible = (\Flase impossible)
  |                 ~~~~~~~~~~~~~~~~~~~
Warning - TestLambdaPossible.case block in wrongPossible at TestLambdaPossible.idr:9:25-34 is not total as there are missing cases

TestLambdaPossible.idr:9:1-35:
  |
9 | wrongPossible = (\Flase impossible)
  | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Warning - TestLambdaPossible.wrongPossible is possibly not total due to: TestLambdaPossible.case block in wrongPossible at TestLambdaPossible.idr:9:25-34

TestLambdaPossible.idr:12:20-13:40:
   |
12 | wrongPossible' x = case x of
   |                    ~~~~~~~~~ ...
Warning - TestLambdaPossible.case block in wrongPossible' at TestLambdaPossible.idr:12:25 is not total as there are missing cases

TestLambdaPossible.idr:12:1-13:40:
   |
12 | wrongPossible' x = case x of
   | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ...
Warning - TestLambdaPossible.wrongPossible' is possibly not total due to: TestLambdaPossible.case block in wrongPossible' at TestLambdaPossible.idr:12:25

TestLambdaPossible2.idr:10:1-35:
   |
10 | wrongPossible = (\Flase impossible)
   | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
TestLambdaPossible.wrongPossible is possibly not total due to: TestLambdaPossible.case block in wrongPossible at TestLambdaPossible2.idr:10:25-34

TestLambdaPossible2.idr:14:1-15:40:
   |
14 | wrongPossible' x = case x of
   | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ...
TestLambdaPossible.wrongPossible' is possibly not total due to: TestLambdaPossible.case block in wrongPossible' at TestLambdaPossible2.idr:14:25