JSDoc types are not TypeScript types / hacker news