dhall-1.22.0: dhall-lang/tests/normalization/success/unit/FunctionNormalizeArgumentsA.dhall

λ(_ : if True then X else Y) → if True then _ else y