test010.idr:15:1-30:
   |
15 | foo (MkBad f i) = f (MkBad' i)
   | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Main.foo is possibly not total due to: Main.MkBad

test010a.idr:9:1-23:
  |
9 | bar = MkBad (\x => 3) 3
  | ~~~~~~~~~~~~~~~~~~~~~~~
main.bar is possibly not total due to: main.MkBad

test010b.idr:9:1-23:
  |
9 | bar = MkBad (\x => 3) 3
  | ~~~~~~~~~~~~~~~~~~~~~~~
main.bar is possibly not total due to: main.MkBad