merge {=} <> : Type