オッ RealNumberの+の実装外したらいろんなところが転けましたね

2:57 PM

これはprefix関係なさそう

3:01 PM

これで転けるとすると、、ConditionalConformanceで==と&&の組み合わせの改善は…出来てなさそうな気がしてきましたねぇ