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'