dhall-1.11.0: tests/normalization/simplifications/ifThenElseB.dhall

{ example0 = λ(x : Bool) → x
, example1 = λ(x : Bool) → λ(y : Text) → y
}