そうなんすよね。

3:51 AM

() -> Int <bind> $T1 と () -> Int <bind> () -> $T2 に差を付けるのはアリなのかなぁなんか思わぬケースで生じて別の問題が起きそうな気も

3:57 AM

今までがambiguousだから差を付けるのは下位互換・・・そうか・・・