Entering directory `./src'
Totality.idr:4:1:
Totality.foo is not total as there are missing cases
Totality.idr:4:1:Could not build: Totality.foo is not total as there are missing cases
Leaving directory `./src'