演算子のoverloadの解決が、二要素の総当たりで型を推論して、それが重なりあったときに冪乗で計算量が増えてしまう、だった気がする