test010.idr:13:foo is possibly not total due to: MkBad