Function trait Is it possible to figure out the parameter type and return type of a lambda? Function traits for default parameters