Ranides Atterwim b8b328c8c2 type deduction in lambda vor 10 Jahren
..
main b8b328c8c2 type deduction in lambda vor 10 Jahren