totality018.idr:12:1-10:
   |
12 | bar FZ = 0
   | ~~~~~~~~~~
Main.bar is not total as there are missing cases