doc anon fun parameter type inference