As a TypeScript developer experienced in type-level acrobatics, this looks just fine...