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