>>526
型推論は地雷原だよー

foo(x) {
    return x;
}

ためしに、この関数 foo の型を求めてみい。