neverにしておくことのうれしみは、アクセスしたときに意味が無いって事ですね

9:50 AM

stringだとコードが書けてしまうので

9:51 AM

id.User.startsWithとか書いて壊せる