Tuple typing problem

[nomaddo]

なんか型付けが変ですね…。

fn n => (n + 1);
((fn n_5 : int => (((+_1 : ((int * int) -> int)) (((n_5 : int), (1 : int)) : (int * int))) : int)) : (int -> int))

[nomaddo]

あ、勘違いです。すみません。