Advanced concepts around types in TypeScript