one critical question then is: are types only mergeable in particular contexts, or is a mergeable type always mergeable, and therefore implicitly mergeable