like ReturnType, but a union of the return types of up to 10 overloads
the (possibly overloaded) function
like ReturnType, but a union of the return types of up to 10 overloads