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

merge { x = λ(_ : A) → _ } (< x : T >.x y)