コンパイル時間かかるのは多相型から単相型を導出するとこじゃないの?