直交性ってコンパイル時間の問題なの?