でも、そこがちゃんと区別されるようになりますよね

3:21 AM

今までは ( (A,B,C) ) -> R が (A, B, C) -> Rと同一視されてたけど

3:21 AM

(3要素タプルを引数に受ける関数 = ３引数関数）

3:21 AM

そこちゃんとわけようぜって方向に進んでる