Ranides Atterwim b8b328c8c2 type deduction in lambda 10 年 前
..
main b8b328c8c2 type deduction in lambda 10 年 前