test010.idr:15:1:Main.foo is possibly not total due to: Main.MkBad
test010a.idr:9:1:main.bar is possibly not total due to: main.MkBad
test010b.idr:9:1:main.bar is possibly not total due to: main.MkBad