TypeScript型システムの健全性の破壊