Ah, I didn't know PFR could get the names of members too, does it work for nonaggregates too?
the technique to get the member names works with non-aggregates, but reflecting non-aggregates isn't possible (since we can only rely on the ctor's arity being the number of members iff the type is an aggregate)