TypeScript の型安全性を高める Branded Types
zenn.dev