HOTscript: Higher-order TypeScript, a library for type-level madnessgithub.com/gvergnaud1 pointfanf22 years ago