dhall-1.42.3: dhall-lang/tests/normalization/success/unit/MergeNormalizeArgumentsA.dhall

  λ(x : { a : Bool })
→ λ(y : < a >)
→ merge (if True then x else x) (if True then y else y)