{ example0 = merge a b + merge a b
, example1 = (merge a b : T) + (merge a b : T)
, example2 = toMap a + toMap a
, example3 = (toMap a b : T) + (toMap a b : T)
, example4 = Some a + Some a
}