Comment by dcre

This made me realize TypeScript’s conditional types are closer to dependent types than I thought.