. "This would allow such a function to act as any type that it is capable of returning." . . .