Sum types, 2024 variant

[Araq]

How would the unchecked access to `a` work? Is it an error (ambiguous) or is 
the field `a` stored at a consistent offset?