型修正という言葉がオフィスで耳に入って、プログラミング言語における型の話かと一瞬おもったが、HWチームの人だったので、金型の話だった。

金型はお金かかるから修正したくないよねえ。