typeは型システムの中でも特別扱いされていて、ランタイムの挙動も複雑