. "'b is a parameter of the same type as the one returned by f." . . .