Allowing to re-declare the same field in different object variant cases would be neat! I'm not sure why it is forbidden given that it's impossible for the two fields to be defined at the same time (different label).
What I mean is something like type ObjKind = enum boxedInt, boxedFloat Obj = object case kind*: ObjKind: of boxedInt: value*: int of boxedFloat: value*: float Run