dhall-1.22.0: dhall-lang/tests/normalization/success/unit/IfNormalizePredicateAndBranchesA.dhall
if if True then x else y then if True then a else b else if True then c else d
if if True then x else y then if True then a else b else if True then c else d