[girvo]

Going deep into conditional types, and trying to contort Typescript into a dependent type system despite the fact it is not one!