dhall-1.26.0: dhall-lang/tests/normalization/success/unit/NaturalSubtractNormalizeA.dhall

  λ(x : Natural)
→ λ(y : Natural)
→ Natural/subtract (if True then x else y) (10 + 20)