Branded Types
https://zenn.dev/helloyuki/scraps/a242590b32655f
でBranded Typesという概念を知った。
Structural Typingの世界でNominal Typingを実現させるためのテクニックらしい。
https://betterprogramming.pub/nominal-typescript-eee36e9432d2