let _if cond trueCase falseCase =
  App (Case [(0, falseCase); (1, trueCase)], cond)