yeah. I think we should start there and if we find places where making it context dependent, then do more thinking. Having the type know its mergeability is simpler.