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