Statically typing paths into deeply-nested interfaces in TypeScript | Dark Hacker News