totality010.idr:27:1:
Main.evenNotS is not total as there are missing cases
totality010.idr:30:1:
Main.bad is possibly not total due to: Main.evenNotS