test010.idr:14:foo is not total due to: MkBad