うーん、端的に言うとtypeの実装がそうなっているから、なんですが、