TypeScript:構造的部分型システム