Ah, sure, you could use a mapped type – but given that the actual program starts failing around 3 I don't see a ton of utility.