totality018.idr:12:1:Main.bar is not total as there are missing cases