Simplified because apparently a record constructor name can be used at its curried type taking the fields in declaration order. This will vastly simplify the TH for generating sequenceVector, too.