<div dir="ltr">Hi dev,<div><br></div><div>I'm repairing the translator on env_refactor where the id type is defined as:</div><div><br></div><div>... id = Short of 'n | Long of 'm => id</div><div><br></div><div>The translator gets to a point where it constructs a term like ``Short foo: ('v,tvarN) id``</div><div><br></div><div>However, it then tries to wrap it using mk_TypeId, where TypeId is a constructor for:</div><div><br></div><div>... tid_or_exn = TypeId of (modN,typeN) id | ...</div><div><br></div><div>(tvarN,modN,typeN, are all abbrevs for string)</div><div><br></div><div>but this fails because mk_TypeId does not instantiate 'v to modN.</div><div><br></div><div>I found that I could get around this manually using TypeBasePure.cinst ``:(tvarN,tvarN) id`` , but is there a way that already automatically does this?</div></div>