typedef isd = struct { a:int; b:string; c:double; } ; typedef id = struct { a:int; c:double; } ; val x : isd = struct { a=1; b="Hello"; c=9.2; }; val y : id = x : id; // coercion