mention new parameter type inference for anon functions (Fr)