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