A heterogeneous ledger row: a leading column plus any number of others
type Row[T, *Ts] = tuple[T, *Ts]