Is there any existing way to merge without promotion? Maybe with constructing a dict that has union type? Right now I’m trying to merge dicts that may have values of Int or Float type, in an arbitrary order, and I need the values to retain their type. Is there a way to do this aside from simply writing my own method?
(also, is there a particular reason why merge works with promotion? For me at least it led to an error that was hard to track down, and seems somewhat surprising)