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

  λ(b : Bool)
→ λ(x : Natural)
→ λ(y : Natural)
→ if if True then b else b then if True then x else x else if True then y else y