同一型である事がわかる場合の最適化はコンパイル時のspecializeと同じで抽象化を捨てる最適化だから関係なくない？