expected

totality008.idr:7:1-14:
  |
7 | ElimT _ C1 = 3
  | ~~~~~~~~~~~~~~
Main.ElimT is possibly not total due to: Main.C2