// Union cases: Simple Ident
SynArgPats.NamePatPairs(
    pats = [(Ident("a"), Option<Range>, SynPat)]
)

// Records: Complex tuple with LongIdent
SynPat.Record(
    fieldPats = [((LongIdent, Ident("X")), Option<Range>, SynPat)]
)

// Unified representation across all constructs
SynArgPats.NamePatPairs(
    pats = [NamePatPairField]  // Consistent type
)

SynPat.Record(
    fieldPats = [NamePatPairField]  // Same type used
)

// Both use the same field name type
NamePatPairField(
    fieldName = SynLongIdent([a], [], [None])  // Unified representation
)

// Union case with named fields - now uses SynLongIdent and captures separators
match x with
| A(a = a; b = b; c = c) -> 2
//  ^SynLongIdent for field names, separators captured

// Record pattern - unified representation
let { X = x; Y = y } = record
//    ^Same SynLongIdent structure

// Future possibility: qualified field names
// | SomeCase(Module.field = value) -> ...  // Now structurally possible