Does anyone know if there is a clean way of overriding a field in a polymorhphic variant.&nbsp; I want to do something like this:<br><br>type bot = [ `bot ]<br>type top = [`bot | `top]<br>type t = [ `a of bot | `b of bot | `c of bot | `d of bot | `e of bot ]
<br>type t1 = [ t | `c of top&nbsp; | `e of top ]<br><br>the desired end result being that t1 is actually [ `a of bot | `b of bot | `c of top | `d of bot | `e of top ].&nbsp; I'm hoping to do this largely to enable some phantom-types hackery I'm working on.&nbsp; I'm not sure it matters from the point of view of whether this is doable, but it is potentially relevant that bot is a subtype of top.
<br><br>Thanks in advance,<br>y<br>