Row Typing

[andrew-johnson-4]

This one would be really easy to do Field::1<U64> just needs to also have the alias attached during denormalization: Field::f<U64>.

[andrew-johnson-4]

Row typing permits struct left-hand-sides from ignoring the case tag.

match x {
   Tag { x=x, y=y } => print(x, y);
}

match x {
   _ { duck=duck } => print(duck);
}